Synthesis: Dreams - Programs.

Zohar Manna Richard J. Waldinger

Published in: IEEE Trans. Software Eng. (1979)

Keyphrases

functional programs
computer programs
program synthesis
data sets
automatic programming
image processing
probabilistic model
fixpoint
stable models
control structures