Toward automatic program synthesis
Communications of the ACM
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
A Computer Model of Skill Acquisition
A Computer Model of Skill Acquisition
The use of examples in program construction and debugging
ACM '75 Proceedings of the 1975 annual conference
A methodology for LISP program construction from examples
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Program inference from example computations represented by memory snapshot traces.
Program inference from example computations represented by memory snapshot traces.
| Hi-index | 0.00 |
A system is described which utilizes a trace of memory snapshots taken during the execution of an algorithm. With such traces and a description of the environment in which the algorithm was executed, the algorithm can be reconstructed. In the first phase, decomputation of the results which appear in the snapshots is performed. Decomputation is the process which produces, for each result in the trace, the set of possible instructions which could have been its cause. The construction phase then uses static and dynamic information obtained from the trace to aid in synthesizing the algorithm. A number of experiments which have been performed with system are also described.