Login / Signup
A Deductive Approach to Program Synthesis.
Zohar Manna
Richard J. Waldinger
Published in:
ACM Trans. Program. Lang. Syst. (1980)
Keyphrases
</>
program synthesis
abductive inference
recursive programs
object oriented
inductive logic programming
database languages
general purpose
deductive reasoning