{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:41:14Z","timestamp":1726407674070},"publisher-location":"London","reference-count":29,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198062"},{"type":"electronic","value":"9781447135609"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3560-9_18","type":"book-chapter","created":{"date-parts":[[2012,12,30]],"date-time":"2012-12-30T06:49:46Z","timestamp":1356850186000},"page":"253-270","source":"Crossref","is-referenced-by-count":11,"title":["Efficient Compilation of Lazy Narrowing into Prolog"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Andr\u00e9s","family":"Jim\u00e9nez-Mart\u00edn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julio","family":"Mari\u00f1o-Carballo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Jos\u00e9","family":"Moreno-Navarro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"S. Antoy: Lazy Evaluation in Logic, Proceedings PLILP\u201991"},{"key":"18_CR2","volume-title":"Levi: The Relation between Logic and Functional","author":"S Verlag","year":"1991","unstructured":"Springer Verlag, 1991, LNCS 528, pp. 371\u2013382. [An91b] S. Antoy: Non-Determinism and Lazy Evaluation in Logic Programming, LOPSTR\u201991. [BL86] M. Bellia, G. Levi: The Relation between Logic and Functional"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Languages, Journal of Logic Programming 3, 1986, pp. 217\u2013236. [BGLMP87] G.P. Bosco, E. Giovanetti,G. Levi,C. Moisso, C. Palamidessi: A complete semantic characterization of K-LEAF, A logic language with partial evaluation, Symposium on Logic Programming, S. Francisco, 1987.","DOI":"10.1016\/0743-1066(86)90014-2"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(88)90095-3","volume":"59","author":"PG Bosco","year":"1988","unstructured":"P.G. Bosco, E. Giovannetti, C. Moiso: Narrowing versus SLD- resolution, Theoretical Computer Science 59, 1988, pp. 3\u201323.","journal-title":"Theoretical Computer Science"},{"key":"18_CR5","volume-title":"Languages for parallel architectures: Design, Semantics","author":"PG Bosco","year":"1989","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":"18_CR6","unstructured":"P.G. feosco,\u2019 C. Cecchi, C. Moiso: An Extension of WAM for K LEAF: A WAM-based Compilation of Conditional Narrowing, Procs. Int. Conf. on Logic Programming, The MIT Press, 1989, pp. 318\u2013333."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"M. Chakravarty, H. Lock: The Implementation of Lazy Narrowing, Symp. on Progr. Language Impl. and Logic Progr (PLILP\u201991), Springer Verlag, 1991, LNCS 528, pp. 123\u2013134.","DOI":"10.1007\/3-540-54444-5_93"},{"key":"18_CR8","volume-title":"Compiling Lazy Narrowing into","author":"PH Cheong","year":"1992","unstructured":"P.H. Cheong: Compiling Lazy Narrowing into Prolog, to appear in: New Generation Computing, 1992."},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/0743-1066(87)90006-9","volume":"4","author":"M Emden","year":"1987","unstructured":"M. van Emden, K. Yukawa: Logic Programming with Equations, Journal of Logic Programming 4, 1987, pp. 265\u2013288","journal-title":"Journal of Logic Programming"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"GM84] J.A. Goguen, J. Meseguer: EQLOG: Equality, Types and Generic Modules for Logic Programming, Journal of Logic Programming 1(2), 1984, pp. 179\u2013210; also in [dGL86].","DOI":"10.1016\/0743-1066(84)90004-9"},{"key":"18_CR11","volume-title":"Prentice Hall","author":"D Degroot","year":"1986","unstructured":"D. DeGroot, G. Lindstrom (eds.): Logic Programming: Functions, Relations, Equations, Prentice Hall, 1986."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"M. Hanus: Compiling Logic Programs with Equality, Symp. on Progr. Language Impl. and Logic Progr (PLILP\u201990), Springer Ver-lag, 1990, LNCS 456, pp. 387\u2013401.","DOI":"10.1007\/BFb0024197"},{"key":"18_CR13","volume-title":"University of Goteborg","author":"J Hughes","year":"1984","unstructured":"J. Hughes: Why Functional Programming Matters, Technical Report 16, Programming Methodology Group, University of Goteborg, November 1984."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"JMM92] J.A. Jimenez-Martin, J. Marino-Carballo, J.J. Moreno-Navarro, Efficient Compilation of Lazy Narrowing into PROLOG, Technical Report, Facultad de Informatica de Madrid, 1992 (to appear).","DOI":"10.1007\/978-1-4471-3560-9_18"},{"key":"18_CR15","first-page":"271","volume":"432","author":"H Kuchen","year":"1990","unstructured":"H. Kuchen, R. Loogen, J.J. Moreno Navarro, M. Rodriguez Artalejo: Graph-Based Implementation of a Functional Logic Language, European Symp. on Prog. (ESOP) 1990, LNCS 432, 1990, pp. 271\u2013290.","journal-title":"Lncs"},{"key":"18_CR16","unstructured":"KLMR91] H. Kuchen, R. Loogen, J.J. Moreno-Navarro, M. Rodriguez- Artalejo: Graph Narrowing to Implement a Functional Language, Technical Report. Facultad de Informatica de Madrid."},{"key":"18_CR17","volume-title":"Pisa","author":"J Marino-Carballo","year":"1992","unstructured":"J. Marino-Carballo, J.J. Moreno Navarro, Some notes on lazy evaluation, 1st Compulog-Network Meeting on Programming Languages, Pisa 1992."},{"key":"18_CR18","unstructured":"MM92b] J. Marino-Carballo, J.J. Moreno-Navarro, Strictness Analysis for Lazy Narrowing, Technical Report, Facultad de Informatica de Madrid, 1992 (to appear)."},{"key":"18_CR19","first-page":"298","volume":"456","author":"JJ Moreno","year":"1990","unstructured":"J.J. Moreno N avarro, H. Kuchen, R. Loogen, M. Rodriguez- Artalejo: Lazy Narrowing in a Graph Machine, 2nd Int. Conf. on Algebraic and Logic Programming (ALP), LNCS 456, 1990, pp. 298\u2013317.","journal-title":"Lncs"},{"key":"18_CR20","first-page":"223","volume":"343","author":"JJ Moreno","year":"1989","unstructured":"J.J. Moreno Navarro, M. Rodriguez-Artalejo: BABEL: A Functional and Logic Programming Language Based on Constructor Discipline and Narrowing, Conf. on Algebraic and Logic Programming (ALP), LNCS 343, 1989, pp. 223\u2013232.","journal-title":"Lncs"},{"key":"18_CR21","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0743-1066(92)90023-V","volume":"12","author":"JJ Moreno","year":"1992","unstructured":"J.J. Moreno Navarro, M.Tiodriguez Artalejo: Logic Programming with Functions and Predicates: The Language BABEL, Journal of Logic Programming, 12, 1992, pp. 189\u2013223.","journal-title":"Journal of Logic Programming"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"L. Naish: Adding Equations to NU-Prolog, Symp. on Progr. Language Impl. and Logic Progr (PLILP\u201991), Springer Verlag, 1991, LNCS 528, pp. 15\u201326.","DOI":"10.1007\/3-540-54444-5_84"},{"key":"18_CR23","doi-asserted-by":"publisher","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, Journal of Logic Programming 3, 1986, pp. 259\u2013276.","journal-title":"Journal of Logic Programming"},{"key":"18_CR24","first-page":"138","volume-title":"Narrowing as the Operational Semantics of Functional Languages, Ieee Int. Symp","author":"US Iteddy","year":"1985","unstructured":"U.S. Iteddy: Narrowing as the Operational Semantics of Functional Languages, IEEE Int. Symp. on Logic Progr., IEEE Computer Society Press, 1985, pp. 138\u2013151."},{"key":"18_CR25","first-page":"401","volume":"279","author":"US Reddy","year":"1987","unstructured":"U.S. Reddy: Functional Logic Languages, Part I, Workshop on Graph Reduction, LNCS 279, 1987, pp. 401\u2013425.","journal-title":"Lncs"},{"key":"18_CR26","unstructured":"SY86] P.A. Subrahmanyan, J.H. You: FUNLOG:A Computational Model Integrating Logic and Functional Programming, in [dGL86],pp.l57\u2013198."},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"Tu85] D.A. Turner: MIRANDA, a Non-strict Functional Language with Polymorphic Types, Procs. Int. Conf. on Functional Programming Languages and Architectures, Springer Verlag, LNCS 201, 1985, pp. 1\u201316.","DOI":"10.1007\/3-540-15975-4_26"},{"key":"18_CR28","first-page":"441","volume-title":"Machine Intelligence","author":"DH Warren","year":"1982","unstructured":"D.H.D. Warren: Higher-order Extensions to PROLOG: Are they Needed?, in J.E. Hayes, D. Mitchie, Y.H. Yao (eds.), Machine Intelligence 10, Ellis Horwood Ltd., John Wiley*Sons, 1982, pp. 441\u2013454."},{"key":"18_CR29","volume-title":"Technical Note","author":"DH 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":["Workshops in Computing","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3560-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T05:03:35Z","timestamp":1557464615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3560-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198062","9781447135609"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3560-9_18","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}