NotesFAQContact Us
Collection
Advanced
Search Tips
Source
Author
Biermann, A. W.1
Publication Type
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Showing one result Save | Export
Biermann, A. W.; And Others – 1973
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…
Descriptors: Algorithms, Artificial Intelligence, Computational Linguistics, Computer Programs