An improved program-synthesizing algorithm and its correctness
Communications of the ACM
Toward automatic program synthesis
Communications of the ACM
Progress report on program-understanding systems.
Progress report on program-understanding systems.
Two studies of subjects' ability to specify sample computations for a program synthesis system
ACM-SE 14 Proceedings of the 14th annual Southeast regional conference
Reconstruction of algorithms from memory snapshots of their execution
ACM '76 Proceedings of the 1976 annual conference
Hi-index | 0.00 |
Techniques are described for automatically creating a computer program from example calculations which are done in scratch pad fashion at a computer display. The correct program is synthesized even though certain indexing instructions are omitted by the user as he executes the sample calculation. The created program can be tested, debugged, and modified by running examples at the display terminal, observing the program behavior, and forcing by hand a change in behavior if errors are observed. Thus programs can be created, debugged, and modified without the user ever knowing or seeing any traditional language syntax. Most of the methods discussed have been programmed and tested extensively.