Towards a Mathematical Theory of Program Synthesis.

Published in: IJCAI (1979)

Keyphrases

mathematical theory
program synthesis
general theory
primal sketch
inductive logic programming
image processing
recursive programs
uncertain information
computational model
machine learning
artificial intelligence
multi agent systems
mathematical models