Development of Inductive Synthesis of Functional Programs.

Published in: AAIP (2005)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
functional language
stochastic grammar
database
object oriented
theorem proving