%0 Journal Article %1 BiermannBaPe75 %A Biermann, A.W. %A Baum, R.I. %A Petry, F.E. %C Los Alamitos, CA, USA %D 1975 %I IEEE Computer Society %J IEEE Transactions on Computers %K analytical_ip enumerative_ip induction inductive_programming program_synthesis synthesis_from_traces %N 2 %P 122--136 %T Speeding up the Synthesis of Programs from Traces %U http://doi.ieeecomputersociety.org/10.1109/T-C.1975.224180 %V 24 %X An algorithm is given for synthesizing a computer program from a trace of its behavior. Since the algorithm involves a search, the length of time required to do the synthesis of nontrivial programs can be quite large. Techniques are given for preprocessing the trace information to reduce enumeration, for pruning the search using a failure memory technique, and for utilizing multiple traces to the best advantage. The results of numerous tests are given to demonstrate the value of the techniques.

@article{BiermannBaPe75, abstract = {An algorithm is given for synthesizing a computer program from a trace of its behavior. Since the algorithm involves a search, the length of time required to do the synthesis of nontrivial programs can be quite large. Techniques are given for preprocessing the trace information to reduce enumeration, for pruning the search using a failure memory technique, and for utilizing multiple traces to the best advantage. The results of numerous tests are given to demonstrate the value of the techniques.}, added-at = {2010-04-21T22:07:00.000+0200}, address = {Los Alamitos, CA, USA}, author = {Biermann, A.W. and Baum, R.I. and Petry, F.E.}, biburl = {https://www.bibsonomy.org/bibtex/2f8737892316d319a64717e2bd891f478/emanuel}, interhash = {3d6c5df103248ce3e6d1ea19753dc74b}, intrahash = {f8737892316d319a64717e2bd891f478}, journal = {IEEE Transactions on Computers}, keywords = {analytical_ip enumerative_ip induction inductive_programming program_synthesis synthesis_from_traces}, number = 2, pages = {122--136}, publisher = {IEEE Computer Society}, timestamp = {2010-04-21T22:07:00.000+0200}, title = {Speeding up the Synthesis of Programs from Traces}, url = {http://doi.ieeecomputersociety.org/10.1109/T-C.1975.224180}, volume = 24, year = 1975 }