{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:20Z","timestamp":1725663680454},"publisher-location":"Berlin, Heidelberg","reference-count":23,"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_93","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:49:48Z","timestamp":1330210188000},"page":"123-134","source":"Crossref","is-referenced-by-count":9,"title":["The implementation of lazy narrowing"],"prefix":"10.1007","author":[{"given":"Manuel M. T.","family":"Chakravarty","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hendrik C. R.","family":"Lock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"11_CR1","series-title":"Technical report","volume-title":"The WAM: a real tutorial","author":"H. Ait-Kaci","year":"1990","unstructured":"Hassan Ait-Kaci. The WAM: a real tutorial. Technical report, DEC research center, Paris, 1990."},{"key":"11_CR2","unstructured":"Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers \u2014 Principles, Techniques and Tools. Addison-Wesley, 1986."},{"key":"11_CR3","unstructured":"P.G. Bosco, C. Cecchi, and C. Moiso. An extension of WAM for K-LEAF: a WAM-based compilation of conditional narrowing. In Proceedings of the 6th Int. Conf. on Logic Programming, page ?, 1989."},{"issue":"1\u20132","key":"11_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(88)90095-3","volume":"59","author":"P.G. Bosco","year":"1988","unstructured":"P.G. Bosco, E. Giovanetti, and C. Moiso. Narrowing vs. SLD-resolution. J. of Theoretical Comp. Sci., Vol. 59, No. 1\u20132 pages 3\u201323, 1988.","journal-title":"J. of Theoretical Comp. Sci."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Marco Bellia and Giorgio Levi. The Relation Between Logic and Functional Languages: a Survey. Journal of Logic Programming, 3(3), Oct. 1986.","DOI":"10.1016\/0743-1066(86)90014-2"},{"key":"11_CR6","first-page":"37","volume-title":"Logic Programming","author":"J. Darlington","year":"1986","unstructured":"J. Darlington, A.J. Field, and H. Pull. The unification of functional and logic languages. In D. DeGroot and G. Lindstrom, editors, Logic Programming, pages 37\u201370. Prentice-Hall, Engle-Wood Cliffs, New Jersey, 1986."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"John Darlington and Yi-ke Guo. Narrowing and unification in functional programming \u2014 an evaluation mechanism for absolute set abstraction. In Int. Conf. on Term Rewriting. LNCS 355, 1989.","DOI":"10.1007\/3-540-51081-8_102"},{"key":"11_CR8","unstructured":"M. Fay. First-order unification in an equational theory. In \u201cCADE\u201d '79, pages 161\u2013167, 1979."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Jon Fairbairn and Stuart Wray. TIM \u2014 A Simple Machine to Execute Supercombinators. In Conference on Functional Programming Languages and Computer Architecture, LNCS 274, 1987.","DOI":"10.1007\/3-540-18317-5_3"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Michael Hanus. Compiling logic programs with equality. In PLILP, LNCS 348, Springer Verlag, pages 387\u2013401, 1990.","DOI":"10.1007\/BFb0024197"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Jean-Marie Hullot. Canonical forms and unification. In 5th Conf. on Automated Deduction. LNCS 87, 1980.","DOI":"10.21236\/ADA087640"},{"key":"11_CR12","unstructured":"Hendrik C.R. Lock. The implementation of functional logic programming languages, April 1991. manuscript of a forthcoming dissertation, Universit\u00e4t Karlsruhe."},{"key":"11_CR13","first-page":"438","volume":"494","author":"R. Loogen","year":"1991","unstructured":"Rita Loogen. From reduction machines to narrowing machines. In CCPSD, TAPSOFT, LNCS 494, pages 438\u2013454, 1991.","journal-title":"LNCS"},{"key":"11_CR14","unstructured":"Erik Meijer. The Dump Environment Mix Machine. Informatics Department, University of Nijmegen, Nov. 1988. unpublished manuscript."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Juan J. Moreno-Navarro, Herbert Kuchen, Rita Loogen, and Mario Rodriguez-Artalejo. Lazy narrowing in a graph machine. In Conf. on Algebraic and Logic Programming, LNCS 463, 1990. also appeared as report N o 90-11 at RWTH Aachen.","DOI":"10.1007\/3-540-53162-9_47"},{"key":"11_CR16","unstructured":"Erik Meijer and Ross Patterson. Down with \u03bb-lifting. University of Nijmegen and Imperial College, London, Sept. 1990. unpublished manuscript."},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Juan J. Moreno-Navarro and Mario Rodriguez-Artalejo. BABEL: A functional and logic programming language based on constructor discipline and narrowing. In First Int. Workshop on Algebraic and Logic Programming, number 343 in LNCS, pages 223\u2013232, 1988.","DOI":"10.1007\/3-540-50667-5_74"},{"key":"11_CR18","first-page":"16","volume":"348","author":"A. M\u00fcck","year":"1990","unstructured":"A. M\u00fcck. How to compile narrowing. In PLILP, LNCS 348, pages 16\u201339, 1990.","journal-title":"LNCS"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Simon L. Peyton-Jones and J. Salkild. The Spineless Tagless G-Machine. In workshop on Implementations of Lazy Functional Languages, Aspenas,Sweden Sept. 1988. appeared also in 1989 ACM Conf. on Functional Progr. Languages and Computer Architecture.","DOI":"10.1145\/99370.99385"},{"key":"11_CR20","unstructured":"Uday S. Reddy. Narrowing as the operational semantics of functional languages. In IEEE Int. Symposium on Logic Programming, pages 138\u2013151. IEEE, 1985."},{"key":"11_CR21","first-page":"401","volume":"279","author":"U. S. Reddy","year":"1986","unstructured":"Uday S. Reddy. Functional Logic Languages, Part 1. In J.H. Fasel and R.M. Keller, editors, Proceedings of a Workshop on Graph Reduction, Santa Fee, LNCS 279, pages 401\u2013425, 1986.","journal-title":"LNCS"},{"key":"11_CR22","unstructured":"Carlo Scharnhorst. Entwurf eines \u00fcbersetzenden Narrowing-Systems basierend auf der WAM. Universit\u00e4t Karlsruhe, April 1991. Diplomarbeit."},{"key":"11_CR23","unstructured":"D.H.D Warren. An abstract Prolog instruction set. Techn. Note 309, SRI International,Menlo Park,Calif., October 1983."}],"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_93.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:42Z","timestamp":1605646482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_93"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_93","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}