Research on Automatic Program-Synthesis Systems.
Abstract
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1971
- Accession Number
- AD0724189
Entities
People
- Richard J. Waldinger
Organizations
- SRI International