Accession Number : AD0724189
Title : Research on Automatic Program-Synthesis Systems.
Descriptive Note : Final rept. 1 Apr 70-1 Feb 71,
Corporate Author : STANFORD RESEARCH INST MENLO PARK CALIF
Personal Author(s) : Waldinger,Richard J.
Report Date : MAR 1971
Pagination or Media Count : 16
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)
Descriptors : (*COMPUTER PROGRAMMING, ADAPTIVE SYSTEMS), MATHEMATICAL LOGIC, PROBLEM SOLVING, PROGRAMMING LANGUAGES, SYNTHESIS
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE