The Automatic Synthesis of Systems of Recursive Programs.

Zohar Manna Richard J. Waldinger

Published in: IJCAI (1977)

Keyphrases

program synthesis
management system
database
distributed systems
recursive programs
case study
data driven
query optimization
cost model