A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs.

Emanuel Kitzelmann

Published in: Künstliche Intell. (2011)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
search algorithm
functional language
search space
stochastic grammar
machine learning
high level
multi agent systems
relational databases
nearest neighbor