Inductive Synthesis of Functional Programs.

Emanuel Kitzelmann Ute Schmid Martin Mühlpfordt Fritz Wysotzki

Published in: AISC (2002)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
stochastic grammar
functional language
artificial intelligence
data structure
general purpose
rough sets
logic programming