Program synthesis through Gödel's interpretation.

Published in: Mathematical Studies of Information Processing (1978)

Keyphrases

program synthesis
image interpretation
recursive programs
high level
semantic interpretation
pairwise
software engineering
inductive logic programming
social bookmarking
search engine
relational databases
general purpose