ERIC Number: ED086167
Record Type: Non-Journal
Publication Date: 1973-Oct
Reference Count: N/A
Automatic Program Synthesis Reports.
Biermann, A. W.; And Others
Some of the major results of future goals of an automatic program synthesis project are described in the two papers that comprise this document. The first paper gives a detailed algorithm 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 utilizing multiple traces to the best advantage. The results of numerous tests are given to demonstrate the value of the techniques. The other paper gives a brief overview of the automatic programming system within which the above algorithm is being used. This system is still under development. (Author/CH)
Publication Type: N/A
Education Level: N/A
Sponsor: Advanced Research Projects Agency (DOD), Washington, DC.; National Science Foundation, Washington, DC.
Authoring Institution: Ohio State Univ., Columbus. Computer and Information Science Research Center.