Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Publication Details

Towards Automatic Program Synthesis

by Manna, Zohar and Waldinger, Richard J.

Technical Note 34
Institution: AI Center, SRI International
Address: 333 Ravenswood Ave, Menlo Park, CA 94025
July 1970.

Note: To be submitted for publication in Collection of Lecture Notes in the Symposium on the Semantics of Algorithmic Languages, Erwin Engeler (Ed.), Springer-Verlag. Also submitted for publication in the Communications of the Association for Computing Machinery.

Order an AIC Technical Note

Abstract

An elementary outline of the theorem-proving approach to automatic program synthesis is given, without dwelling on technical details. The method is illustrated by the automatic construction of both recursive and iterative programs operating on natural numbers, lists, and trees.

Electronic Copies


Adobe PDF

BibTeX

EndNote

AIC Personnel

Name Title E-mail
Waldinger, Richard J Principal Scientist

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy