Logic program synthesis using schema instantiation in an interactive environment

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 ...