What Is Program Synthesis?

C. Cordell Green

Published in: J. Autom. Reason. (1985)

Keyphrases

program synthesis
recursive programs
inductive logic programming
general purpose
database
query optimization
information retrieval
search engine
support vector
high dimensional
low level
search space
logic programming
statistical learning