{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:29Z","timestamp":1725663869545},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539810"},{"type":"electronic","value":"9783540464990"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540539816_80","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:18:54Z","timestamp":1330208334000},"page":"438-457","source":"Crossref","is-referenced-by-count":16,"title":["From reduction machines to narrowing machines"],"prefix":"10.1007","author":[{"given":"Rita","family":"Loogen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"G.P.Balboni, P.G.Bosco, C.Cecchi, R.Melen, C.Moiso, G.Sofi: Implementation of a Parallel Logic Plus Functional Language, in: P.Treleaven (ed.), Parallel Computers: Object Oriented, Functional and Logic, Wiley 1989.","DOI":"10.1007\/978-3-642-84341-9_5"},{"key":"26_CR2","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(86)90014-2","volume":"3","author":"M. Bellia","year":"1986","unstructured":"M. Bellia, G. Levi: The Relation between Logic and Functional Languages, Journal of Logic Programming, Vol.3, 1986, 217\u2013236.","journal-title":"Journal of Logic Programming"},{"key":"26_CR3","unstructured":"P.G.Bosco, C.Cecchi, C.Moiso: An extension of WAM for K-LEAF: A WAM-based compilation of conditional narrowing, Int. Conf. on Logic Programming, Lisboa, 1989."},{"key":"26_CR4","unstructured":"D.DeGroot, G.Lindstrom (eds.): Logic Programming: Functions, Relations, Equations, Prentice Hall 1986."},{"key":"26_CR5","unstructured":"A.J.Field, P.G.Harrison: Functional Programming, Addison-Wesley 1988."},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"H.Kuchen, R.Loogen, J.J. Moreno-Navarro, M.Rodr\u00edguez-Artalejo: Graph-based Implementation of a Functional Logic Language, European Symposium on Programming 1990, LNCS 432, Springer Verlag 1990.","DOI":"10.1007\/3-540-52592-0_69"},{"key":"26_CR7","first-page":"382","volume":"279","author":"G. Lindstrom","year":"1987","unstructured":"G. Lindstrom: Implementing logical variables on a graph reduction architecture, Workshop on Graph Reduction, LNCS 279, Springer Verlag 1987, 382\u2013400.","journal-title":"LNCS"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"R.Loogen, H.Kuchen, K.Indermark, W.Damm: Distributed Implementation of Programmed Graph Reduction, Conf. on Parallel Architectures and Languages Europe 1989, LNCS 365, Springer Verlag 1989.","DOI":"10.1007\/3540512845_37"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"J.J.Moreno-Navarro, M.Rodr\u00edguez-Artalejo: BABEL: A functional and logic programming language based on constructor discipline and narrowing, Conference on Algebraic and Logic Programming 1988, LNCS 343, Springer Verlag 1989.","DOI":"10.1007\/3-540-50667-5_74"},{"key":"26_CR10","unstructured":"J.J.Moreno-Navarro, M.Rodr\u00edguez-Artalejo: Logic Programming with Functions and Predicates: The Language BABEL, Technical Report DIA\/89\/3, Universidad Complutense, Madrid 1989, to appear in the Journal of Logic Programming."},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"J.J.Moreno-Navarro, H.Kuchen, R.Loogen, M.Rodr\u00edguez-Artalejo: Lazy Narrowing in a Graph Machine, Conference on Algebraic and Logic Programming 1990, LNCS 463, Springer Verlag 1990.","DOI":"10.1007\/3-540-53162-9_47"},{"key":"26_CR12","unstructured":"U.S.Reddy: Narrowing as the Operational Semantics of Functional Languages, IEEE Int. Symp. on Logic Programming, IEEE Computer Society Press, July 1985, 138\u2013151."},{"key":"26_CR13","first-page":"401","volume":"279","author":"U.S. Reddy","year":"1987","unstructured":"U.S. Reddy: Functional Logic Languages, Part I, Workshop on Graph Reduction, LNCS 279, Springer Verlag 1987, 401\u2013425.","journal-title":"LNCS"},{"key":"26_CR14","volume-title":"An Abstract Prolog Instruction Set","author":"D.H.D. Warren","year":"1983","unstructured":"D.H.D. Warren: An Abstract Prolog Instruction Set, Technical Note 309, SRI International, Menlo Park, California, October 1983."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540539816_80.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:51:44Z","timestamp":1605646304000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540539816_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539810","9783540464990"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3540539816_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}