共 50 条
- [31] Geometric Semantic Genetic Programming for Recursive Boolean Programs PROCEEDINGS OF THE 2017 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE (GECCO'17), 2017, : 993 - 1000
- [32] Modular Reasoning for Message-Passing Programs Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8687 : 277 - 294
- [33] SMT-based model checking for recursive programs Formal Methods in System Design, 2016, 48 : 175 - 205
- [35] Inductive synthesis of recursive logic programs: achievements and prospects JOURNAL OF LOGIC PROGRAMMING, 1999, 41 (2-3): : 141 - 195
- [38] Reasoning about Monotonicity in Separation Logic CPP '21: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2021, : 91 - 104
- [40] Semantic Reasoning about the Sea of Nodes CC'18: PROCEEDINGS OF THE 27TH INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, 2018, : 163 - 173