Data-driven Induction of Functional Programs.

Emanuel Kitzelmann

Published in: ECAI (2008)

Keyphrases

functional programs
data driven
term rewriting systems
lazy evaluation
logic programs
functional language
stochastic grammar
data mining
databases
machine learning
search algorithm
management system
programming language
proof planning