{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:19Z","timestamp":1725663919174},"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_78","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:14:02Z","timestamp":1330240442000},"page":"167-183","source":"Crossref","is-referenced-by-count":4,"title":["Efficient lazy narrowing using demandedness analysis"],"prefix":"10.1007","author":[{"given":"Juan Jos\u00e9","family":"Moreno-Navarro","sequence":"first","affiliation":[]},{"given":"Herbert","family":"Kuchen","sequence":"additional","affiliation":[]},{"given":"Julio","family":"Mari\u00f1o-Carballo","sequence":"additional","affiliation":[]},{"given":"Stephan","family":"Winkler","sequence":"additional","affiliation":[]},{"given":"Werner","family":"Hans","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"12_CR1","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":"12_CR2","unstructured":"P.G. Bosco, C. Cecchi, E. Giovannetti, C. Moiso, C. Palamidessi: Using Resolution for a Sound and Efficient Integration of Logic and Functional Progr., in: J. de Bakker (ed.), Languages for parallel architectures, Wiley, 1989."},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"G. Burn: Evaluation Transformers \u2014 A Model for the Parallel Evaluation of Functional Languages, FPCA'87, LNCS 274, 1987.","DOI":"10.1007\/3-540-18317-5_24"},{"key":"12_CR4","doi-asserted-by":"publisher","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":"12_CR5","unstructured":"A. Colmerauer, Prolog and Infinite Trees, Logic Programming, K.L. Clark, S.A. Tarnlund (eds), APIC Studies in Data Processing no. 16, Academic Press."},{"key":"12_CR6","unstructured":"A. Colmerauer, Equations and Inequations on Finite and Infinite Trees, Proc. Int. Conf. on Fifth Generation Computer Systems, ICOT 1984, 85\u201399."},{"key":"12_CR7","unstructured":"D.DeGroot, G.Lindstrom (eds.): Logic Programming: Functions, Relations, Equations, Prentice Hall, 1986."},{"key":"12_CR8","first-page":"387","volume":"456","author":"M. Hanus","year":"1990","unstructured":"M. Hanus: Compiling Logic Programs with Equality, Workshop on Progr. Language Impl. and Logic Progr. (PLILP), LNCS 456, 1990, 387\u2013401.","journal-title":"Workshop on Progr. Language Impl. and Logic Progr. (PLILP), LNCS"},{"key":"12_CR9","first-page":"355","volume":"631","author":"W. Hans","year":"1992","unstructured":"W. Hans, R. Loogen, S. Winkler: On the Interaction of Lazy Evaluation and Backtracking, Procs. PLILP'92, LNCS 631, 1992, 355\u2013369.","journal-title":"Procs. PLILP'92, LNCS"},{"key":"12_CR10","unstructured":"A. Herranz, J. Marino, J.J. Moreno-Navarro, Specialized Compilation of Lazy Functional Logic Programs, Techn. Report, UP Madrid."},{"key":"12_CR11","unstructured":"G. Huet, Resolution d'\u00e9quations dans les languages d'ordre 1, 2,...,\u03c9, Th\u00e8se de doctorat d'etat, Universit\u00e9 Paris VI."},{"key":"12_CR12","unstructured":"G. Huet, D.C. Oppen, Equations and Rewrite Rules: A Survey, R.V. Book (ed.) Formal Language Theory: Perspectives..., Academic, 1980, 349\u2013405."},{"key":"12_CR13","unstructured":"J. Hughes: Why Functional Programming Matters, Technical Report 16, Programming Methodology Group, University of G\u00f6teborg, November 1984."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"J.A. Jim\u00e9nez-Mart\u00edn, J. Mari\u00f1o-Carballo, J.J. Moreno-Navarro: Some Techniques for the Efficient Compilation of Lazy Narrowing into Prolog, Procs. LOP-STR'92, Manchester, 1992.","DOI":"10.1007\/978-1-4471-3560-9_18"},{"key":"12_CR15","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/3-540-52592-0_69","volume":"432","author":"H. Kuchen","year":"1990","unstructured":"H. Kuchen, R. Loogen, J.J. Moreno-Navarro, M. Rodr\u00edguez-Artalejo: Graph-based Implementation of a Functional Logic Language, Procs. ESOP'90, LNCS 432, 1990, 271\u2013290.","journal-title":"Procs. ESOP'90, LNCS"},{"issue":"3","key":"12_CR16","first-page":"348","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner: A Theory of Type Polymorphism... JCSS 17(3), 1978, 348\u2013375.","journal-title":"JCSS"},{"key":"12_CR17","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1007\/3540539816_80","volume":"494","author":"R. Loogen","year":"1991","unstructured":"R. Loogen: From Reduction Machines to Narrowing Machines, TAPSOFT'91, LNCS 494, 1991, 438\u2013457.","journal-title":"TAPSOFT'91, LNCS"},{"key":"12_CR18","first-page":"298","volume":"463","author":"J.J. Moreno-Navarro","year":"1990","unstructured":"J.J. Moreno-Navarro, H. Kuchen, R. Loogen, M. Rodr\u00edguez-Artalejo: Lazy Narrowing in a Graph Machine, Procs. ALP'90, LNCS 463, 1990, 298\u2013317.","journal-title":"Procs. ALP'90, LNCS"},{"key":"12_CR19","unstructured":"J. Mari\u00f1o-Carballo, J.J. Moreno-Navarro, Abstract Interpretation for Demandedness Analysis, Techn. Report, UP Madrid."},{"key":"12_CR20","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0743-1066(92)90023-V","volume":"12","author":"J.J. Moreno-Navarro","year":"1992","unstructured":"J.J.Moreno-Navarro, M. Rodrfguez-Artalejo: Logic Programming with Functions and Predicates: The Language Babel, J. Logic Prog., 12, 1992, 189\u2013223,.","journal-title":"J. Logic Prog."},{"key":"12_CR21","unstructured":"U.S. Reddy: Narrowing as the Operational Semantics of Functional Languages, Procs. Int. Symp. on Logic Programming, IEEE Comp. Soc. Press 1985, 138\u2013151."},{"key":"12_CR22","unstructured":"D.H.D. Warren: An Abstract Instruction Set, Techn. Note 309, SRI, 1983."}],"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_78.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:09:03Z","timestamp":1605629343000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57186-8_78"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571865","9783540479451"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-57186-8_78","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}