On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects
P. Flener, and L. Popelinsky. Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformationn -- Meta-Programming in Logic, page 69--87. Springer-Verlag, (1994)
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.
%0 Conference Paper
%1 FlenerP94
%A Flener, Pierre
%A Popelinsky, Lubos
%B Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformationn -- Meta-Programming in Logic
%D 1994
%E Fribourg, L.
%E Turini, F.
%I Springer-Verlag
%K ilp inductive_programming inproceedings position_paper program_synthesis software_engineering
%P 69--87
%T On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects
%U http://dx.doi.org/10.1007/3-540-58792-6_5
%X 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.
@inproceedings{FlenerP94,
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.},
added-at = {2008-05-16T18:04:10.000+0200},
author = {Flener, Pierre and Popelinsky, Lubos},
biburl = {https://www.bibsonomy.org/bibtex/25b66a942e4fba312fcc57005434b140f/emanuel},
booktitle = {Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformationn -- Meta-Programming in Logic},
description = {SpringerLink - Buchkapitel},
editor = {Fribourg, L. and Turini, F.},
interhash = {bde77ebdcb908d94e80fc9f53c7813f2},
intrahash = {5b66a942e4fba312fcc57005434b140f},
keywords = {ilp inductive_programming inproceedings position_paper program_synthesis software_engineering},
pages = {69--87},
publisher = {Springer-Verlag},
timestamp = {2008-05-16T18:04:12.000+0200},
title = {On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects},
url = {http://dx.doi.org/10.1007/3-540-58792-6_5},
year = 1994
}