On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects

@inproceedings{Flener1994OnTU,
  title={On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects},
  author={Pierre Flener and Lubos Popel{\'i}nsk{\'y}},
  booktitle={LOPSTR},
  year={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. 
Highly Cited
This paper has 25 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper

References

Publications referenced by this paper.
Showing 1-10 of 96 references

On Program Synthesis Knowledge

Artif. Intell. • 1978
View 4 Excerpts
Highly Influenced

Learning machine learning

Axel van Lamsweerde
1991
View 3 Excerpts
Highly Influenced

Queries and concept learning

Machine Learning • 1987
View 4 Excerpts
Highly Influenced

Algorithmic Program Debugging

Ehud Y. Shapiro
Ph.D. Thesis, • 1982
View 5 Excerpts
Highly Influenced

Logic Program Synthesis

J. Log. Program. • 1994
View 2 Excerpts

Similar Papers

Loading similar papers…