共 50 条
- [31] Automated Synthesis of Recursive Programs from a ∀∃ Logical Specification Journal of Automated Reasoning, 1998, 21 : 233 - 275
- [33] Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 2048 - 2078
- [34] Constructing finite state implementations of knowledge-based programs with perfect recall INTELLIGENT AGENT SYSTEMS: THEORETICAL AND PRACTICAL ISSUES, 1997, 1209 : 135 - 151
- [37] Madura: A Language for Learning Vision Programs from Examples Journal of Mathematical Imaging and Vision, 1999, 11 : 65 - 90