{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:03:32Z","timestamp":1725631412342},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540127345"},{"type":"electronic","value":"9783642692987"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69298-7_8","type":"book-chapter","created":{"date-parts":[[2011,11,8]],"date-time":"2011-11-08T17:50:24Z","timestamp":1320774624000},"page":"86-100","source":"Crossref","is-referenced-by-count":0,"title":["From Pattern-Directed to Adapter-Driven Computation Via Function-Applying Matching"],"prefix":"10.1007","author":[{"given":"Harold","family":"Boley","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","first-page":"22","volume-title":"Function-level computing","author":"J Backus","year":"1982","unstructured":"Backus, J.: Function-level computing. IEEE spectrum, August 1982, 22\u201327."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Bobrow, D. & Winograd, T.: An overview of KRL, a knowledge representation language. Cognitive Science 1(1), 1977.","DOI":"10.1207\/s15516709cog0101_2"},{"key":"8_CR3","volume-title":"Univ. Hamburg, F8 Inform","author":"H Boley","year":"1979","unstructured":"Boley, H.: Five views of FIT programming. Univ. Hamburg, F8 Inform., IFI-HH-B-57\/79, Sept. 1979."},{"key":"8_CR4","volume-title":"Univ. Hamburg, FB Inform","author":"H Boley","year":"1980","unstructured":"Boley, H.: Processing directed recursive labelnode hypergraphs with FIT programs. Univ. Hamburg, FB Inform., IFI-HH-M-81\/80, Sept. 1980."},{"key":"8_CR5","volume-title":"Dec. 1982. Also in: Technique and Science of Informatics","author":"H Boley","year":"1983","unstructured":"Boley, H.: Artificial intelligence languages and machines. Univ. Hamburg, FB Inform., IFI-HH-B-94\/82, Dec. 1982. Also in: Technique and Science of Informatics 2(3), May-June 1983."},{"key":"8_CR6","first-page":"225","volume":"16","author":"E Charniak","year":"1981","unstructured":"Charniak, E.: A common representation for problem-solving and language-comprehension information. AI 16, 1981, 225\u2013255.","journal-title":"A common representation for problem-solving and language-comprehension information"},{"key":"8_CR7","volume-title":"Logic programming","author":"K Clark","year":"1982","unstructured":"Clark, K. & Taernlund, S.-A. (Eds.): Logic programming. Academic Press, New York, 1982."},{"key":"8_CR8","first-page":"223","volume":"15","author":"R Davis","year":"1980","unstructured":"Davis, R.: Content reference: Reasoning about rules. AI 15, 1980, 223\u2013239.","journal-title":"Content reference: Reasoning about rules"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0096-0551(78)90004-8","volume":"3","author":"D Friedman","year":"1978","unstructured":"Friedman, D. & Wise, D.: Functional combination. Computer languages, Vol. 3, 31\u201335, 1978.","journal-title":"Computer languages"},{"key":"8_CR10","unstructured":"Hewitt, C.: Description and theoretical analysis (using schemata) of PLANNER: A language for proving theorems and manipulating models in a robot. MIT, AI-TR-258, April 1972."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Leavenworth, B. & Sammet, J.: An overview of nonprocedural languages. In: B. Leavenworth (Ed.): ACM SIGPLAN symposium on very high level languages. March 1974, Santa Monica, Ca., SIGPLAN Notices 9(4), 1\u201312.","DOI":"10.1145\/800233.807040"},{"key":"8_CR12","volume-title":"University Press","author":"JH Morris","year":"1982","unstructured":"Morris, J.H.: Real programming in functional languages. In: J. Darlington, P. Henderson & D. Turner (Eds.): Functional programming and its applications. Cambridge University Press, 1982."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Siekmann, J. & Szabo, P.: Universal unification. In: W. Wahlster (Ed.): GWAI-82, Bad Honnef, Sept. 1982, Informatik-Fachberichte 58, Springer-Verlag, 102\u2013141.","DOI":"10.1007\/978-3-642-68826-3_9"},{"key":"8_CR14","first-page":"403","volume":"32","author":"LG Tesler","year":"1968","unstructured":"Tesler, L.G. & Enea, H.J.: A language design for concurrent processes. AFIPS Conference Proceedings, SJCC, Vol. 32, 1968, 403\u2013408.","journal-title":"SJCC"},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1147\/rd.41.0002","volume":"4","author":"H Wang","year":"1960","unstructured":"Wang, H.: Toward mechanical mathematics. IBM Journal of Research and Development 4 (1), Jan. 1960, 2\u201322.","journal-title":"IBM Journal of Research and Development"},{"volume-title":"Pattern-directed inference systems","year":"1978","key":"8_CR16","unstructured":"Waterman, D. & Hayes-Roth, F. (Eds.): Pattern-directed inference systems. Academic Press, New York, 1978."},{"issue":"10","key":"8_CR17","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1145\/355598.362773","volume":"13","author":"WA Woods","year":"1970","unstructured":"Woods, W.A.: Transition network grammars for natural language analysis. CACM 13 (10), October 1970, 591\u2013606.","journal-title":"CACM"}],"container-title":["Informatik-Fachberichte","GI - 13. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69298-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:27:12Z","timestamp":1606256832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69298-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540127345","9783642692987"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69298-7_8","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}