Descriptor
| Algorithms | 1 |
| Artificial Intelligence | 1 |
| Computational Linguistics | 1 |
| Computer Programs | 1 |
| Computer Science | 1 |
| Information Science | 1 |
| Man Machine Systems | 1 |
Source
Author
| Biermann, A. W. | 1 |
Publication Type
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Download full textBiermann, 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
