Author of the publication

Analyzing Inductively Defined Properties for Recursive Data Structures.

, , , , , and . Internetware, page 221-228. ACM, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Leveraging design rules to improve software architecture recovery., , , and . QoSA, page 133-142. ACM, (2013)基于数据流分析的单链表可达性自动化验证 (Automatic Verification of Singly Linked List Pointer's Reachability Property Using Data-flow Analysis Method)., , and . 计算机科学, 42 (12): 47-51 (2015)Bibliometric Analysis of a Product-Service System's Rebound Effect: Identification of a Potential Mitigation Strategy., , , , and . Syst., 11 (9): 452 (September 2023)A Web warehouse system for semi-automatically gathering and managing online news., and . AMT, page 343-344. IEEE, (2005)Assertion-Directed Precondition Synthesis for Loops over Data Structures., , and . SETTA, volume 9409 of Lecture Notes in Computer Science, page 258-274. Springer, (2015)An Integration of Several Different Data Flow Analysis Techniques., , and . ISCTCS, volume 320 of Communications in Computer and Information Science, page 458-465. Springer, (2012)Post-condition-Directed Invariant Inference for Loops over Data Structures., , and . SERE (Companion), page 204-212. IEEE, (2014)Cross-domain recommendation with user personality., , , and . Knowl. Based Syst., (2021)Research on the Knowledge and Ability dual-driven Teaching Model for the Course of Compilers Principles., , and . ICCSE, page 24-29. IEEE, (2020)A Fault-Localization Approach Based on the Coincidental Correctness Probability., , and . QRS, page 292-297. IEEE, (2015)