Accession Number : AD0771332

Title :   Automatic Program Synthesis Reports: 1. Speeding up a Program Synthesizer. 2. A System for Program Synthesis from Examples,

Corporate Author : OHIO STATE UNIV COLUMBUS COMPUTER AND INFORMATION SCIENCE RESEARCH CENTER

Personal Author(s) : Biermann,Alan W. ; Baum,Richard ; Petry,Frederick E. ; Krishnaswamy,R.

Report Date : OCT 1973

Pagination or Media Count : 66

Abstract : An algorithm is given for synthesizing a computer program from a trace of its behavior. Since the algorithm involves a search, the length of time required to do the synthesis of nontrivial programs can be quite large. Techniques are given for preprocessing the trace information to reduce enumeration, for pruning the search using a failure memory technique, and for using multiple traces to the best advantage. The results of numerous tests are given to demonstrate the value of the techniques. (Author)

Descriptors :   *Computer programming, *Artificial intelligence, Man machine systems, Data processing, Mathematical logic, Computations, Synthesis

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE