DocumentCode :
747585
Title :
Constructing Programs from Example Computations
Author :
Biermann, Alan W. ; Krishnaswamy, Ramachandran
Author_Institution :
Department of Computer Science, Computation Center, Duke University
Issue :
3
fYear :
1976
Firstpage :
141
Lastpage :
153
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 :
Automatic program synthesis; autoprogramming; induction techniques; interactive graphics system; interactive program construction; program inference; programming system; Computer displays; Computer graphics; Computer science; Concrete; Data structures; Data visualization; Eyes; History; Programming; Synthesizers; Automatic program synthesis; autoprogramming; induction techniques; interactive graphics system; interactive program construction; program inference; programming system;
fLanguage :
English
Journal_Title :
Software Engineering, IEEE Transactions on
Publisher :
ieee
ISSN :
0098-5589
Type :
jour
DOI :
10.1109/TSE.1976.233812
Filename :
1702361
Link To Document :
بازگشت