{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:54Z","timestamp":1761611214243,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417392"},{"type":"electronic","value":"9783540447160"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44716-4_14","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T18:16:34Z","timestamp":1187201794000},"page":"216-232","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["An Abstract Machine Based System for a Lazy Narrowing Calculus"],"prefix":"10.1007","author":[{"given":"Teresa","family":"Hortal\u00e1-Gonz\u00e1lez","sequence":"first","affiliation":[]},{"given":"Eva","family":"Ull\u00e1n","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"key":"14_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/3-540-44404-1_24","volume-title":"Procs. 7th Int. Conf. on Logic Programming and Automated Reasoning (LPAR 2000)","author":"E. Albert","year":"2000","unstructured":"E. Albert, M. Hanus, G. Vidal. Using an Abstract Representation to Specialize Functional Logic Programs. Procs. 7th Int. Conf. on Logic Programming and Automated Reasoning (LPAR 2000), Springer LNCS 1955, pp. 381\u2013398, 2000."},{"key":"14_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/BFb0027000","volume-title":"Procs. 6th Int. Conf. on Algebraic and Logic Programming (ALP\u201997)","author":"S. Antoy","year":"1997","unstructured":"S. Antoy. Optimal Non-Deterministic Functional Logic Computations. Procs. 6th Int. Conf. on Algebraic and Logic Programming (ALP\u201997), Springer LNCS 1298, pp. 16\u201330, 1997."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"S. Antoy, R. Echahed, M. Hanus. A Needed Narrowing Strategy. Procs. ACM Symp. on Principles of Programming Languages (POPL\u201994), ACM Press, pp. 268\u2013279, 1994.","DOI":"10.1145\/174675.177899"},{"issue":"4","key":"14_CR4","doi-asserted-by":"publisher","first-page":"776","DOI":"10.1145\/347476.347484","volume":"47","author":"S. Antoy","year":"2000","unstructured":"S. Antoy, R. Echahed, M. Hanus. A Needed Narrowing Strategy. Journal of the ACM 47(4), pp. 776\u2013822, 2000.","journal-title":"Journal of the ACM"},{"key":"14_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/10720084_12","volume-title":"Procs. 3rd Int. Work. on Frontiers of Combining Systems (FroCoS 2000)","author":"S. Antoy","year":"2000","unstructured":"S. Antoy, M. Hanus. Compiling Multi-Paradigm Declarative Programs into Prolog. Procs. 3rd Int. Work. on Frontiers of Combining Systems (FroCoS 2000), Springer LNCS 1794, pp. 171\u2013185, 2000."},{"key":"14_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/10705424_22","volume-title":"Procs. 4th Fuji Int. Symp. on Functional and Logic Programming (FLOPS\u201999)","author":"S. Antoy","year":"1999","unstructured":"S. Antoy, A. Tolmach. Typed Higher-order Narrowing without Higher-order Strategies. Procs. 4th Fuji Int. Symp. on Functional and Logic Programming (FLOPS\u201999), Springer LNCS 1722, pp. 335\u2013350, 1999."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"M.M.T. Chakravarty, H.C.R. Lock. Towards the Uniform Implementation of Declarative Languages. Computer Languages 23 (2-4), Pergamon Press, pp. 121-160, 1997.","DOI":"10.1016\/S0096-0551(97)00012-X"},{"key":"14_CR8","unstructured":"E. Gamma, R. Helm, R. Johnson, J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995."},{"issue":"1","key":"14_CR9","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0743-1066(98)10029-8","volume":"40","author":"J.C. Gonz\u00e1lez-Moreno","year":"1999","unstructured":"J.C. Gonz\u00e1lez-Moreno, M.T. Hortal\u00e1-Gonz\u00e1lez, F.J. L\u00f3pez-Fraguas, M. Rodr\u00edguez-Artalejo. An Approach to Declarative Programming Based on a Rewriting Logic. Journal of Logic Programming 40 (1), pp. 47\u201387, 1999.","journal-title":"Journal of Logic Programming"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"J.C. Gonz\u00e1lez-Moreno, M.T. Hortal\u00e1-Gonz\u00e1lez, M. Rodr\u00edguez-Artalejo. A Higher Order Rewriting Logic for Functional Logic Programming. Procs. 14th Int. Conf. on Logic Programming (ICLP\u201997), MIT Press, pp. 153\u2013167, 1997.","DOI":"10.7551\/mitpress\/4299.003.0017"},{"key":"14_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10705424_1","volume-title":"Procs. 4th Fuji Int. Symp. on Functional and Logic Programming (FLOPS\u201999)","author":"J.C. Gonz\u00e1lez-Moreno","year":"1999","unstructured":"J.C. Gonz\u00e1lez-Moreno, M.T. Hortal\u00e1-Gonz\u00e1lez, M. Rodr\u00edguez-Artalejo. Semantics and Types in Functional Logic Programming. Procs. 4th Fuji Int. Symp. on Functional and Logic Programming (FLOPS\u201999), Springer LNCS 1722, pp. 1\u201320, 1999."},{"key":"14_CR12","unstructured":"M. Hanus (ed.). Curry: An Integrated Functional Logic Language, Version 0.7.1. Available at http:\/\/www.informatik.uni-kiel.de\/~curry, 2000."},{"key":"14_CR13","unstructured":"M. Hanus (ed.). PACKS 1.3: The Portland Aachen Kiel Curry System, User Manual. Available at http:\/\/www.informatik.uni-kiel.de\/~curry, 2000."},{"key":"14_CR14","unstructured":"M. Hanus, R. Sadre. An Abstract Machine for Curry and its Concurrent Implementation in Java. Journal of Functional and Logic Programming, Volume 1999, Special Issue on Parallelism and Implementation Technologies for (Constraint) Logic Programming, Article 6, 1999."},{"key":"14_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-57186-8_79","volume-title":"Procs. Int. Symp. on Programming Language Implementation and Logic Programming (PLILP\u201993)","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. Procs. Int. Symp. on Programming Language Implementation and Logic Programming (PLILP\u201993), Springer LNCS 714, pp. 184\u2013200, 1993."},{"key":"14_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/3-540-48685-2_19","volume-title":"10th Int. Conf. on Rewriting Techniques and Applications (RTA\u201999)","author":"F.J. L\u00f3pez-Fraguas","year":"1999","unstructured":"F.J. L\u00f3pez-Fraguas, J. S\u00e1nchez-Hern\u00e1ndez. TOY: A Multiparadigm Declarative System. Procs. 10th Int. Conf. on Rewriting Techniques and Applications (RTA\u201999), Springer LNCS 1631, pp. 244\u2013247, 1999. System available at http:\/\/titan.sip.ucm.es\/toy."},{"key":"14_CR17","unstructured":"W. Lux, H. Kuchen. An Efficient Abstract Machine for Curry. Procs. 8th Int. Work. on Functional and Logic Programming (WFLP\u201999), pp. 171\u2013181, 1999."},{"issue":"2","key":"14_CR18","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1017\/S0956796800000319","volume":"2","author":"S.L. Peyton Jones","year":"1992","unstructured":"S.L. Peyton Jones. Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine, Version 2.5. Journal of Functional Programming 2(2), pp. 127\u2013202, 1992.","journal-title":"Journal of Functional Programming"},{"key":"14_CR19","unstructured":"D.H.D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, 1983."}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44716-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T11:50:11Z","timestamp":1708170611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44716-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417392","9783540447160"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-44716-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"21 March 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}