,
On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects
Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformationn -- Meta-Programming in Logic, стр. 69--87. Springer-Verlag, (1994)
Аннотация
In this position paper, we give a critical analysis of the deductive and inductive approaches to program synthesis, and of the current research in these fields. From the shortcomings of these approaches and works, we identify future research directions for these fields, as well as a need for cooperation and cross-fertilization between them.
