On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects (1994)
by
Pierre Flener
,
Lubos Popelinsky
| Venue: | IN L. FRIBOURG AND F. TURINI (EDS), JOINT PROC. OF META'94 AND LOPSTR'94 |
| Citations: | 13 - 6 self |
BibTeX
@INPROCEEDINGS{Flener94onthe,
author = {Pierre Flener and Lubos Popelinsky},
title = {On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects},
booktitle = {IN L. FRIBOURG AND F. TURINI (EDS), JOINT PROC. OF META'94 AND LOPSTR'94},
year = {1994},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
