• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Fundamentals of Deductive Program Synthesis.

Zohar MannaRichard J. Waldinger
Published in: IEEE Trans. Software Eng. (1992)
Keyphrases
  • program synthesis
  • database processing
  • recursive programs
  • object oriented
  • abductive inference
  • database
  • data mining
  • pairwise
  • domain knowledge
  • deductive reasoning
  • functional programs