The automatic synthesis of recursive programs.

Zohar Manna Richard Waldinger

Published in: Artificial Intelligence and Programming Languages (1977)

Keyphrases

program synthesis

recursive programs

databases

life cycle