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

Authors:
Pierre Flener;Lubos Popelínsky
Affiliations:
-;-
Venue:
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Year:
1994

Citing 0
Cited 3

Inductive Programming

Automated Software Engineering
A simple inductive synthesis methodology and its applications

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Synthesis of loop-free programs

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract