Program Synthesis Using Realizability.

Published in: Theor. Comput. Sci. (1991)

Keyphrases

program synthesis
recursive programs
inductive logic programming
background knowledge
information retrieval
database systems
knn