{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T03:13:57Z","timestamp":1648696437421},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1978,3,1]],"date-time":"1978-03-01T00:00:00Z","timestamp":257558400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer and Information Sciences"],"published-print":{"date-parts":[[1978,3]]},"DOI":"10.1007\/bf00991940","type":"journal-article","created":{"date-parts":[[2005,1,14]],"date-time":"2005-01-14T17:30:10Z","timestamp":1105723810000},"page":"65-90","source":"Crossref","is-referenced-by-count":0,"title":["Automatic insertion of indexing instructions in program synthesis"],"prefix":"10.1007","volume":"7","author":[{"given":"Alan W.","family":"Biermann","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Machine Intelligence, Vol. 6","author":"S. Amarel","year":"1971","unstructured":"S. Amarel, ?Representations and Modeling in Problems of Program Formation,? inMachine Intelligence, Vol. 6, Meltzer and Michie, Eds. (American Elsevier, New York, 1971)."},{"key":"CR2","unstructured":"R. M. Balzer, ?A Global View of Automatic Programming,?Proceedings of the Third International Joint Conference on Artificial Intelligence, Stanford, California (August 1973)."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"A. W. Biermann, ?On the inference of Turing Machines from sample computations,?Artif. Intell. 3 (1972).","DOI":"10.1016\/0004-3702(72)90048-3"},{"key":"CR4","volume-title":"Advances in Computers, Vol. 15","author":"A. W. Biermann","year":"1976","unstructured":"A. W. Biermann, ?Approaches to Automatic Programming,?Advances in Computers, Vol. 15, Rubinoff and Yovits, Eds. (Academic Press, New York, 1976)."},{"key":"CR5","unstructured":"A. W. Biermann, ?Automatic Indexing in Program Synthesis Processes,? Report CS-1976-4, Department of Computer Science, Duke University (1976)."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"A. W. Biermarm, R. I. Baum, and F. E. Petry, ?Speeding up the synthesis of programs from traces,?IEEE Trans. Comput. C-24 (February 1975).","DOI":"10.1109\/T-C.1975.224180"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"A. W. Biermann and R. Krishnaswamy, ?Constructing programs from example computations,?IEEE Trans. Software Eng. SE-2 (September 1976).","DOI":"10.1109\/TSE.1976.233812"},{"key":"CR8","volume-title":"Technical Report","author":"J. R. Buchanan","year":"1974","unstructured":"J. R. Buchanan, ?A Study in Automatic Programming,? Technical Report, Carnegie-Mellon University, Pittsburgh (May 1974)."},{"key":"CR9","volume-title":"High Level Operations in Automatic Programming","author":"J. Earley","year":"1974","unstructured":"J. Earley, ?High Level Operations in Automatic Programming,?Proceedings of a Symposium on Very High Level Languages, Santa Monica, California (March 28 and 29, 1974)."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"C. C. Green, R. J. Waldinger, D. R. Barstow, R. Elschlager, D. B. Lenat, B. P. McCune, D. E. Shaw, and L. I. Steinberg, ?Progress Report on Program Understanding Systems,? Stanford Artificial Intelligence Laboratory Memo AIM-240 (August 1974).","DOI":"10.21236\/AD0787035"},{"key":"CR11","volume-title":"Synthesis of lisp Functions from Examples","author":"S. Hardy","year":"1975","unstructured":"S. Hardy, ?Synthesis of lisp Functions from Examples,?Proceedings of the Fourth International Joint Conference on Artificial Intelligence, Tbilisi, Georgia, USSR (September 3?8, 1975)."},{"key":"CR12","volume-title":"A Programming Language","author":"K. E. Iverson","year":"1962","unstructured":"K. E. Iverson,A Programming Language (Wiley, New York, 1962)."},{"key":"CR13","unstructured":"R. C. T. Lee, C. L. Chang, and R. J. Waldinger, ?An improved program synthesizing algorithm and its correctness,?Commun. ACM (March 1974)."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Z. Manna and R. J. Waldinger, ?Toward automatic program synthesis,?Commun. ACM 14 (March 1971).","DOI":"10.1145\/362566.362568"},{"key":"CR15","unstructured":"F. E. Petry, ?Program Inference from Example Computations Represented by Memory Snapshot Traces,? Ph.D. thesis, Ohio State University (December 1974)."},{"key":"CR16","doi-asserted-by":"crossref","DOI":"10.1145\/800233.807044","volume-title":"Automatic and Semiautomatic Optimization of setl","author":"J. T. Schwartz","year":"1974","unstructured":"J. T. Schwartz, ?Automatic and Semiautomatic Optimization of setl,?Proceedings of a Symposium on Very High Level Languages, Santa Monica, California (March 28 and 29, 1974)."},{"key":"CR17","volume-title":"Inferring lisp Programs from Examples","author":"D. E. Shaw","year":"1975","unstructured":"D. E. Shaw, W. R. Swartout, and C. C. Green, ?Inferring lisp Programs from Examples,?Proceedings of the Fourth International Joint Conference on Artificial Intelligence, Tbilisi, Georgia, USSR (September 3?8, 1975)."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"P. Summers, ?A Methodology for lisp Program Construction from Examples,?Proceedings of the Third ACM Symposium on Principles of Programming Languages, Atlanta, Georgia (January 19?21, 1976).","DOI":"10.1145\/800168.811541"},{"key":"CR19","unstructured":"R. J. Waldinger and R. C. T. Lee, ?prow: A Step Toward Automatic Program Writing,?Proceedings of the International Joint Conference on Artificial Intelligence, Washington, D. C. (1969)."},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"T. Winograd, ?Breaking the Complexity Barrier Again,?Proceedings of the ACM SIGPLAN-SIGIR Interface Meeting, Gaithersburg, Maryland (November 4?6, 1973).","DOI":"10.1145\/951762.951764"}],"container-title":["International Journal of Computer & Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00991940.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00991940\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00991940","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T09:48:47Z","timestamp":1586080127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00991940"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,3]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1978,3]]}},"alternative-id":["BF00991940"],"URL":"https:\/\/doi.org\/10.1007\/bf00991940","relation":{},"ISSN":["0091-7036","1573-7640"],"issn-type":[{"value":"0091-7036","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,3]]}}}