Constructing Programs from Example Computations
- 1 September 1976
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-2 (3) , 141-153
- https://doi.org/10.1109/tse.1976.233812
Abstract
An autoprogrammer is an interactive computer programming system which automatically constructs computer programs from example computations executed by the user. The example calculations are done in a scratch pad fashion at a computer display using a light pen or other graphic input device, and the system stores a detailed history of all of the steps executed in the process. Then the system automatically synthesizes the shortest possible program which is capable of executing the observed examples. The paper describes the computational environment provided by the system, proves that the program synthesis technique is both "sound" and "complete," describes the design of the system, and gives some programs it was used to create.Keywords
This publication has 9 references indexed in Scilit:
- A 15 Year Perspective on Automatic ProgrammingIEEE Transactions on Software Engineering, 1985
- Speeding up the Synthesis of Programs from TracesIEEE Transactions on Computers, 1975
- Program-Understanding SystemsPublished by Defense Technical Information Center (DTIC) ,1974
- An improved program-synthesizing algorithm and its correctnessCommunications of the ACM, 1974
- Inductive inference: A recursion theoretic approachPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1973
- Some decidability results on grammatical inference and complexityInformation and Control, 1972
- Towards automatic program synthesisPublished by Springer Nature ,1971
- Language identification in the limitInformation and Control, 1967
- QuicksortThe Computer Journal, 1962