Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach.

Emanuel Kitzelmann Ute Schmid

Published in: J. Mach. Learn. Res. (2006)

Keyphrases

functional programs
explanation based generalization
partial evaluation
logic programs
logic programming
term rewriting systems
domain theory
lazy evaluation
functional language
higher order
modal logic
programming language
deductive databases
machine learning
data points
background knowledge