{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:21Z","timestamp":1725663681923},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54444-5_110","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:49:53Z","timestamp":1330192193000},"page":"335-346","source":"Crossref","is-referenced-by-count":7,"title":["Dynamic detection of determinism in functional logic languages"],"prefix":"10.1007","author":[{"given":"Rita","family":"Loogen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Winkler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"28_CR1","volume-title":"Parallel Computers: Object Oriented","author":"G.P. Balboni","year":"1989","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."},{"key":"28_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":"28_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":"28_CR4","unstructured":"P.G.Bosco, C.Cecchi, E.Giovannetti, C.Moiso, C.Palamidessi: Using resolution for a sound and efficient integration of logic and functional programming, in: J.de Bakker (ed.): Languages for Parallel Architectures: Design, Semantics, Implementation Models, Wiley 1989."},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"M.M.T.Chakravarty, H.C.R.Lock: The Implementation of Lazy Narrowing, Symp. on Prog. Language Impl. and Logic Prog. (PLILP) 1991, LNCS, Springer Verlag 1991.","DOI":"10.1007\/3-540-54444-5_93"},{"key":"28_CR6","unstructured":"D.DeGroot, G.Lindstrom (eds.): Logic Programming: Functions, Relations, Equations, Prentice Hall 1986."},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"M.Hanus: Compiling Logic Programs with Equality, Workshop on Programming Language Implementation and Logic Programming (PLILP) 1990, LNCS 456, Springer Verlag 1990.","DOI":"10.1007\/BFb0024197"},{"key":"28_CR8","unstructured":"M.Hanus: Efficient Implementation of Narrowing and Rewriting, Draft Paper, University of Dortmund 1991."},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"S.Kaplan: Fair conditional term rewriting systems: unification, termination and confluence, Technical Report no. 194, University of Orsay 1984.","DOI":"10.1007\/978-3-662-09691-8_11"},{"key":"28_CR10","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 Symp. on Prog. (ESOP) 1990, LNCS 432, Springer Verlag 1990.","DOI":"10.1007\/3-540-52592-0_69"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"R.Loogen: From Reduction Machines to Narrowing Machines, Coll. on Combining Paradigms for Software Development, TAPSOFT 1991, LNCS 494, Springer Verlag 1991.","DOI":"10.1007\/3540539816_80"},{"key":"28_CR12","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":"28_CR13","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":"28_CR14","doi-asserted-by":"crossref","unstructured":"J.J.Moreno-Navarro, H.Kuchen, R.Loogen, M.Rodr\u00edguez-Artalejo: Lazy Narrowing in a Graph Machine, Conf. on Algebraic and Logic Prog. (ALP) 1990, LNCS 463, Springer Verlag 1990.","DOI":"10.1007\/3-540-53162-9_47"},{"key":"28_CR15","unstructured":"A.M\u00fcck: Compilation of Narrowing, Workshop on Programming Language Implementation and Logic Programming (PLILP) 1990, LNCS 456, Springer Verlag 1990."},{"key":"28_CR16","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":"28_CR17","series-title":"Technical Note","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."},{"key":"28_CR18","unstructured":"St. Winkler: Development of a Program System for the Functional Logic Language BABEL by Implementing a Program Environment, a Compiler and a Stack Based Abstract Machine, Diploma Thesis, RWTH Aachen, June 1991 (in german)."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54444-5_110.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:54:32Z","timestamp":1605628472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_110"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_110","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}