The Synthesis of Programs by Analogy.

Robert Moll John Wade Ulrich

Published in: IJCAI (1979)

Keyphrases

functional programs
automatic programming
program synthesis
database
machine learning
information retrieval
answer sets
computer programs
control structures
provably correct
statistical mechanics