Towards Automatic Program Synthesis


MANNA, Z., & WALDINGER, R. (1970). Towards automatic program synthesis(Outlining theorem-proving approach to automatic programming synthesis using recursive and iterative methods).


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.

Read more from SRI