@inproceedings{FlenerP94,
	title = {On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects},
	author = {Pierre Flener and Lubos Popelinsky},
	booktitle = {Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformationn -- Meta-Programming in Logic},
	editor = {L. Fribourg and F. Turini},
	pages = {69--87},
	publisher = {Springer-Verlag},
	url = {http://dx.doi.org/10.1007/3-540-58792-6_5},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/25b66a942e4fba312fcc57005434b140f/emanuel},
	description = {SpringerLink - Buchkapitel},
	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.},
	keywords = {ilp inductive_programming inproceedings position_paper program_synthesis software_engineering }
}