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
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.
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.
|Waldinger, Richard J||Principal Scientist|