Logic program synthesis using schema instantiation in an interactive environment
Anna-Lena Johansson · Medical Entomology and Zoology · 1995
The research presented herein proposes a method of program synthesis based on a recursive program schema and performed with an explicit incremental plan as the core of the synthesis. A partial prot ...