Program synthesis by analogy.

John Wade Ulrich Robert Moll

Published in: Artificial Intelligence and Programming Languages (1977)

Keyphrases

program synthesis
analogical reasoning
recursive programs
inductive logic programming
high dimensional
relational databases
co occurrence
cellular automata
query optimization
nearest neighbour algorithm