Logic Program Synthesis from Incomplete Information
Flener, Pierre![Logic Program Synthesis from Incomplete Information](https://support.digitalhusky.com/media/annotations/sorted/152/15214777/CHSBZCOP0315214777.jpg)
Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program development would be less costly.
This monograph describes a novel approach to Inductive Logic Prog...