Research on Automatic Program-Synthesis Systems.
Final rept. 1 Apr 70-1 Feb 71,
STANFORD RESEARCH INST MENLO PARK CALIF
Pagination or Media Count:
An approach toward the representation and solution of program-synthesis problems is developed. The relationship between the principle of mathematical induction and the loop structure of programs is explored. Program-synthesis techniques are applied to the problem of transforming recursive programs into equivalent iterative programs, with application to the construction of intelligent compilers and program optimizers. An inferential mechanism for program synthesis has been designed, and a language is described suitable both for the implementation of that mechanism and for the representation of program-synthesis problems themselves. The connection between program synthesis and program verification has been investigated. Progress is being made toward the completion of a running program synthesizer. Author
- Computer Programming and Software