{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:20Z","timestamp":1761611300216},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571865"},{"type":"electronic","value":"9783540479451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57186-8_79","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:14:39Z","timestamp":1330258479000},"page":"184-200","source":"Crossref","is-referenced-by-count":41,"title":["A demand driven computation strategy for lazy narrowing"],"prefix":"10.1007","author":[{"given":"Rita","family":"Loogen","sequence":"first","affiliation":[]},{"given":"Francisco L\u00f3pez","family":"Fraguas","sequence":"additional","affiliation":[]},{"given":"Mario Rodr\u00edguez","family":"Artalejo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"S. Antoy: Lazy Evaluation in Logic, Symp. on Programming Language Implementation and Logic Programming 1991, LNCS 528, Springer Verlag 1991, 371\u2013382.","DOI":"10.1007\/3-540-54444-5_113"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"S. Antoy: Definitional Trees, Int. Conf. on Algebraic and Logic Programming (ALP) 92, LNCS 632, Springer Verlag 1992, 143\u2013157.","DOI":"10.1007\/BFb0013825"},{"key":"13_CR3","unstructured":"P.G. Bosco, C. Cecchi, and C. Moiso: An extension of WAM for K-LEAF, 6th Int. Conf. on Logic Programming, Lisboa, 1989, 318\u2013333."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"M. M. T. Chakravarty, H. C. R. Lock: The Implementation of Lazy Narrowing, Symp. on Programming Language Implementation and Logic Programming 1991, LNCS 528, Springer Verlag 1991, 123\u2013134.","DOI":"10.1007\/3-540-54444-5_93"},{"key":"13_CR5","unstructured":"P.H. Cheong: Compiling lazy narrowing into Prolog, Technical Report 25, LIENS, 1990, to appear in: Journal of New Generation Computing."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"P.H. Cheong and L. Fribourg: A survey of the implementations of narrowing, in: J. Darlington and R. Dietrich (eds.) Declarative Programming. Workshops in Computing, Springer Verlag & BCS, 1992, 177\u2013187.","DOI":"10.1007\/978-1-4471-3794-8_12"},{"issue":"1\/2","key":"13_CR7","first-page":"11","volume":"75","author":"M. Dershowitz","year":"1990","unstructured":"M. Dershowitz, M. Okada: A rationale for conditional equational rewriting, Theoret. Comput. Sci. 75(1\/2),1990,11\u2013137.","journal-title":"Theoret. Comput. Sci."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"E. Giovannetti, G. Levi, C. Moiso, C. Palamidessi: Kernel LEAF: A Logic plus Functional Language, Journal of Computer and System Sciences, Vol. 42, No. 2, Academic Press 1991, 139\u2013185.","DOI":"10.1016\/0022-0000(91)90009-T"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"J.C. Gonz\u00e1lez Moreno, M.T. Hortal\u00e1 Gonz\u00e1lez, M. Rodr\u00edguez Artalejo: On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming, to appear in: Computer Science Logic (CSL) 92, LNCS 702, Springer Verlag 1993 (15 pp.).","DOI":"10.1007\/3-540-56992-8_14"},{"key":"13_CR10","unstructured":"W. Hans, R. Loogen, St. Winkler: On the Interaction of Lazy Evaluation and Backtracking, Int. Symp. on Programming Language Implementation and Logic Programming (PLILP) 92, LNCS 631, Springer Verlag 1992."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"J.A. Jim\u00e9nez Mart\u00edn, J. Mari\u00f1o Carballo, J.J. Moreno Navarro: Efficient Compilation of Lazy Narrowing into Prolog, LOPSTR 92, LNCS, Springer Verlag 1992.","DOI":"10.1007\/978-1-4471-3560-9_18"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"R. Loogen: From reduction machines to narrowing machines, TAPSOFT 91, CCPSD, LNCS 494, Springer Verlag 1991, 438\u2013457.","DOI":"10.1007\/3540539816_80"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"R. Loogen, St. Winkler: Dynamic Detection of Determinism in Functional Logic Languages, Int. Symp. on Programming Language Implementation and Logic Programming (PLILP) 91, LNCS 528, Springer Verlag 1991, 335\u2013346 (revised version to appear in TCS).","DOI":"10.1007\/3-540-54444-5_110"},{"key":"13_CR14","volume-title":"Tech. Rep. Dep. Inform\u00e1tica y Autom\u00e1tica","author":"R. Loogen","year":"1993","unstructured":"R. Loogen, F. J. L\u00f3pez Fraguas, M. Rodr\u00edguez Artalejo: A Demand Driven Computation Strategy for Lazy Narrowing, Tech. Rep. Dep. Inform\u00e1tica y Autom\u00e1tica, UCM, Madrid, 1993."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"J. J. Moreno Navarro, M. Rodr\u00edguez Artalejo: Logic Programming with Functions and Predicates: The Language BABEL, Journal of Logic Programming Vol. 12, North Holland 1992, 191\u2013223.","DOI":"10.1016\/0743-1066(92)90024-W"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"J.J. Moreno-Navarro, H. Kuchen, R. Loogen and M. Rodr\u00edguez-Artalejo: Lazy narrowing in a graph machine, Conf. on Algebraic and Logic Programming (ALP 90), LNCS 463, Springer Verlag 1990, 298\u2013317.","DOI":"10.1007\/3-540-53162-9_47"},{"key":"13_CR17","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0743-1066(86)90016-6","volume":"3","author":"S. Narain","year":"1986","unstructured":"S. Narain: A technique for doing lazy evaluation in logic, The Journal of Logic Programming, 3, 1986, 259\u2013276.","journal-title":"The Journal of Logic Programming"},{"key":"13_CR18","unstructured":"U.S. Reddy: Narrowing as the operational semantics of functional languages, IEEE Symp. on Logic Programming, IEEE Comp. Soc. Press 1985, 138\u2013151."},{"key":"13_CR19","unstructured":"P. Wadler: Efficient Compilation of Pattern-Matching, Chapter 5 in: S. PeytonJones: The Implementation of Functional Programming Languages, Prentice Hall 1987."},{"key":"13_CR20","unstructured":"D.H.D. Warren: An abstract Prolog instruction set, Technical Report 309, SRI International 1983."},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"D. Wolz: Design of a compiler for lazy pattern driven narrowing, 7th. Workshop on Specification of ADTs, LNCS 534, Springer Verlag 1991, 362\u2013379.","DOI":"10.1007\/3-540-54496-8_19"},{"key":"13_CR22","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/S0747-7171(89)80015-X","volume":"7","author":"J. H. You","year":"1989","unstructured":"J. H. You: Enumerating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems, Journal of Symbolic Computation 7, 1989, 319\u2013341.","journal-title":"Journal of Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Progamming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57186-8_79.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:09:04Z","timestamp":1605647344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57186-8_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571865","9783540479451"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-57186-8_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}