Fundamentals of Deductive Program Synthesis.

Zohar Manna Richard 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