Login / Signup

A Deductive Approach to Program Synthesis.

Zohar MannaRichard 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