Automated Software Engineering
Logic Program Synthesis as Problem Reduction Using Combining Forms
Automated Software Engineering
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
The Journal of Machine Learning Research
Inductive Synthesis of Recursive Functional Programs
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
An introduction to inductive programming
Artificial Intelligence Review
I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Hi-index | 0.00 |