%0 Journal Article %1 BiermannKr76 %A Biermann, A.W. %A Krishnaswamy, R. %C Los Alamitos, CA, USA %D 1976 %I IEEE Computer Society %J IEEE Transactions on Software Engineering %K ase induction inductive_programming pre-summers program_synthesis synthesis_from_traces %N 3 %P 141--153 %R http://doi.ieeecomputersociety.org/10.1109/TSE.1976.233812 %T Constructing Programs from Example Computations %V 2 %X 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.

@article{BiermannKr76, 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.}, added-at = {2010-04-21T22:05:42.000+0200}, address = {Los Alamitos, CA, USA}, author = {Biermann, A.W. and Krishnaswamy, R.}, biburl = {https://www.bibsonomy.org/bibtex/211e101cf102e6d9d625317580f928e81/emanuel}, description = {Constructing Programs from Example Computations}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1976.233812}, interhash = {78b8097880794dfb03514af2b17932e5}, intrahash = {11e101cf102e6d9d625317580f928e81}, journal = {IEEE Transactions on Software Engineering}, keywords = {ase induction inductive_programming pre-summers program_synthesis synthesis_from_traces}, number = 3, pages = {141--153}, publisher = {IEEE Computer Society}, timestamp = {2010-04-21T22:05:42.000+0200}, title = {Constructing Programs from Example Computations}, volume = 2, year = 1976 }