{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:16Z","timestamp":1725662956342},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540074106"},{"type":"electronic","value":"9783540379294"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07410-4_653","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:59:57Z","timestamp":1330185597000},"page":"491-499","source":"Crossref","is-referenced-by-count":0,"title":["Pattern matching and call by pattern"],"prefix":"10.1007","author":[{"given":"G.","family":"Levi","sequence":"first","affiliation":[]},{"given":"F.","family":"Sirovich","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"37_CR1","volume-title":"COMIT Programmer's Reference Manual","author":"V.H. Yngve","year":"1962","unstructured":"Yngve, V.H., COMIT Programmer's Reference Manual. MIT Press, Cambridge Mass., 1962."},{"key":"37_CR2","volume-title":"The SNOBOL4 Programming Language","author":"R.E. Griswold","year":"1969","unstructured":"Griswold, R.E., J.F. Poage and I.P. Polonsky, The SNOBOL4 Programming Language. Prentice Hall, Englewood Cliffs, N.J.,1969."},{"unstructured":"Tesler, L.G. et al. The LISP70 pattern matching system. Proc. Third Intl. Conf. on Artificial Intelligence, Stanford, USA, August 20\u201323, 1973, 671\u2013685.","key":"37_CR3"},{"unstructured":"Hewitt, C., Description and theoretical analysis (using schemata) of PLANNER: A language for proving theorems and manipulating models in a robot.AI Memo No. 251. MIT Project MAC (April 1972).","key":"37_CR4"},{"key":"37_CR5","volume-title":"Procedures as a representation for data in a computer program for understanding natural language","author":"T. Winograd","year":"1971","unstructured":"Winograd, T., Procedures as a representation for data in a computer program for understanding natural language. Ph. D. Th., MIT, Cambridge, Mass. (January 1971)."},{"doi-asserted-by":"crossref","unstructured":"Sussman, G.J. and Winograd, T. Micro-planner reference manual. AI Memo No. 203, MIT Project MAC (July 1970).","key":"37_CR6","DOI":"10.1037\/h0021563"},{"unstructured":"Rulifson, J.F., Derksen, J.A. and Waldinger, R.J. QA4, a procedural calculus for intuitive reasoning.SRI AI Center Technical Note 73 (November 1972).","key":"37_CR7"},{"unstructured":"McDermott, D.V. and Sussman, G.J. The Conniver reference manual. AI Memo No. 259, MIT Project MAC (May 1972).","key":"37_CR8"},{"unstructured":"Davies, D.J.M. POPLER 1.5 Reference Manual. Univ. of Edinburgh. TPU Report No. 1 (May 1973).","key":"37_CR9"},{"unstructured":"Swinehart, D. and Sproull, B. SAIL. Stanford AI Project Operating Note No. 57.2 (January 1971).","key":"37_CR10"},{"unstructured":"Montangero, C., Pacini, G. and Turini, F. MAGMA-LISP: A Machine language for artificial intelligence. Proc. Fourth Intl. Joint Conf. on Artificial Intelligence, Tbilisi, USSR, September 3\u20138, 1975.","key":"37_CR11"},{"unstructured":"Montangero, C., Pacini, G. and Turini, F. Two-level control structure for non-deterministic programming. IEI Internal Report B74\u201331. Pisa, Italy (October 1974).","key":"37_CR12"},{"doi-asserted-by":"crossref","unstructured":"Hewitt, C. et al. Behavioral semantics of non-recursive control structures. Proc. Programming Symposium, Paris, France, April 9\u201311 1974, 385\u2013407.","key":"37_CR13","DOI":"10.1007\/3-540-06859-7_147"},{"unstructured":"Kay, A. Personal computing. Meeting on 20 Years of Computer Science, Pisa, Italy, June 16\u201318, 1975.","key":"37_CR14"},{"unstructured":"Levi G. and Sirovich, F. Valutazione simbolica e unificazione. Proc. Symposium on Theoretical Computer Science, Mantova, Italy, November 21\u201323, 1974, 97\u2013116.","key":"37_CR15"},{"doi-asserted-by":"crossref","unstructured":"Levi G. and Sirovich, F. Proving program properties, logical procedural semantics and symbolic evaluation. Proc. Mathematical Foundation of Computer Science 1975, Marianske Lazne, Tchechoslovakia, September 1\u20135, 1975.","key":"37_CR16","DOI":"10.1007\/3-540-07389-2_211"},{"unstructured":"Levi, G. and Sirovich, F. Un sistema per la produzione e la verifica di programmi strutturati, XXII Intl. Conf. on Electronics, Roma, Italy, March 12\u201315, 1975, 181\u2013188.","key":"37_CR17"}],"container-title":["Lecture Notes in Computer Science","GI \u2014 5. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07410-4_653.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:57:43Z","timestamp":1605643063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07410-4_653"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540074106","9783540379294"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-07410-4_653","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}