{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:37:26Z","timestamp":1743043046422,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"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_21","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T18:16:34Z","timestamp":1187201794000},"page":"326-342","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A Practical Partial Evaluator for a Multi-Paradigm Declarative Language"],"prefix":"10.1007","author":[{"given":"Elvira","family":"Albert","sequence":"first","affiliation":[]},{"given":"Michael","family":"Hanus","sequence":"additional","affiliation":[]},{"given":"Germ\u00e1n","family":"Vidal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"key":"21_CR1","unstructured":"E. Albert, M. Alpuente, M. Falaschi, and G. Vidal. Indy User\u2019s Manual. Technical Report DSIC-II\/12\/98, UPV, 1998. Available at http:\/\/www.dsic.upv.es\/users\/elp\/papers.html."},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"E. Albert, M. Alpuente, M. Hanus, and G. Vidal. A Partial Evaluation Framework for Curry Programs. In Proc. of LPAR\u201999, pages 376\u2013395. Springer LNAI 1705, 1999.","DOI":"10.1007\/3-540-48242-3_23"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"E. Albert, M. Hanus, and G. Vidal. Using an Abstract Representation to Specialize Functional Logic Programs. In Proc. of LPAR\u20192000, pages 381\u2013398. Springer LNAI 1955, 2000.","DOI":"10.1007\/3-540-44404-1_24"},{"issue":"4","key":"21_CR4","doi-asserted-by":"publisher","first-page":"768","DOI":"10.1145\/291891.291896","volume":"20","author":"M. Alpuente","year":"1998","unstructured":"M. Alpuente, M. Falaschi, and G. Vidal. Partial Evaluation of Functional Logic Programs. ACM Trans. on Programming Lang. and Systems, 20(4):768\u2013844, 1998.","journal-title":"ACM Trans. on Programming Lang. and Systems"},{"key":"21_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BFb0013825","volume-title":"Proc. of the 3rd Int\u2019l Conference on Algebraic and Logic Programming, ALP\u201992","author":"S. Antoy","year":"1992","unstructured":"S. Antoy. Definitional trees. In Proc. of the 3rd Int\u2019l Conference on Algebraic and Logic Programming, ALP\u201992, pages 143\u2013157. Springer LNCS 632, 1992."},{"issue":"4","key":"21_CR6","doi-asserted-by":"publisher","first-page":"776","DOI":"10.1145\/347476.347484","volume":"47","author":"S. Antoy","year":"2000","unstructured":"S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, 47(4):776\u2013822, 2000.","journal-title":"Journal of the ACM"},{"key":"21_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/10720084_12","volume-title":"Compiling Multi-Paradigm Declarative Programs into Prolog","author":"S. Antoy","year":"2000","unstructured":"S. Antoy and M. Hanus. Compiling Multi-Paradigm Declarative Programs into Prolog. In Proc. of FroCoS\u20192000, pages 171\u2013185. Springer LNCS 1794, 2000."},{"issue":"1","key":"21_CR8","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF03037527","volume":"11","author":"M. Bruynooghe","year":"1992","unstructured":"M. Bruynooghe, D. De Schreye, and B. Martens. A General Criterion for Avoiding Infinite Unfolding. New Generation Computing, 11(1):47\u201379, 1992.","journal-title":"New Generation Computing"},{"key":"21_CR9","first-page":"493","volume-title":"Proc. of POPL\u201993","author":"C. Consel","year":"1993","unstructured":"C. Consel and O. Danvy. Tutorial notes on Partial Evaluation. In Proc. of POPL\u201993, pages 493\u2013501. ACM, New York, 1993."},{"issue":"2&3","key":"21_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0743-1066(99)00030-8","volume":"41","author":"D. De Schreye","year":"1999","unstructured":"D. De Schreye, R. Gl\u00fcck, J. J\u00d8rgensen, M. Leuschel, B. Martens, and M.H. S\u2205rensen. Conjunctive Partial Deduction: Foundations, Control, Algorihtms, and Experiments. Journal of Logic Programming, 41(2&3):231\u2013277, 1999.","journal-title":"Journal of Logic Programming"},{"key":"21_CR11","first-page":"88","volume-title":"Tutorial on Specialisation of Logic Programs","author":"J. Gallagher","year":"1993","unstructured":"J. Gallagher. Tutorial on Specialisation of Logic Programs. In Proc. of PEPM\u201993, pages 88\u201398. ACM, New York, 1993."},{"key":"21_CR12","first-page":"223","volume-title":"A Short Cut to Deforestation","author":"A.J. Gill","year":"1993","unstructured":"A.J. Gill, J. Launchbury, and S.L. Peyton Jones. A Short Cut to Deforestation. In Proc. of the FPCA\u201993, pages 223\u2013232, New York, NY, USA, 1993. ACM Press."},{"key":"21_CR13","first-page":"80","volume-title":"Proc. of POPL\u201997","author":"M. Hanus","year":"1997","unstructured":"M. Hanus. A unified computation model for functional and logic programming. In Proc. of POPL\u201997, pages 80\u201393. ACM, New York, 1997."},{"key":"21_CR14","series-title":"Lect Notes Comput Sci","first-page":"376","volume-title":"Distributed Programming in a Multi-Paradigm Declarative Language","author":"M. Hanus","year":"1999","unstructured":"M. Hanus. Distributed Programming in a Multi-Paradigm Declarative Language. In Proc. of PPDP\u201999, pages 376\u2013395. Springer LNCS 1702, 1999."},{"key":"21_CR15","unstructured":"M. Hanus. Curry: An Integrated Functional Logic Language. Available at: http:\/\/www.informatik.uni-kiel.de\/~curry\/, 2000."},{"key":"21_CR16","series-title":"Lect Notes Comput Sci","first-page":"47","volume-title":"A Functional Logic Programming Approach to Graphical User Interfaces","author":"M. Hanus","year":"2000","unstructured":"M. Hanus. A Functional Logic Programming Approach to Graphical User Interfaces. In Proc. of PADL\u201900, pages 47\u201362. Springer LNCS 1753, 2000."},{"key":"21_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45241-9_6","volume-title":"High-Level Server Side Web Scripting in Curry","author":"M. Hanus","year":"2001","unstructured":"M. Hanus. High-Level Server Side Web Scripting in Curry. In Proc. of PADL\u201901, Springer LNCS (to appear), 2001."},{"key":"21_CR18","volume-title":"PAKCS 1.3: The Portland Aachen Kiel Curry System User Manual","author":"M. Hanus","year":"2000","unstructured":"M. Hanus, S. Antoy, J. Koj, R. Sadre, and F. Steiner. PAKCS 1.3: The Portland Aachen Kiel Curry System User Manual. University of Kiel, Germany, 2000."},{"issue":"1","key":"21_CR19","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1017\/S0956796899003330","volume":"9","author":"M. Hanus","year":"1999","unstructured":"M. Hanus and C. Prehofer. Higher-Order Narrowing with Definitional Trees. Journal of Functional Programming, 9(1):33\u201375, 1999.","journal-title":"Journal of Functional Programming"},{"key":"21_CR20","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs, NJ, 1993."},{"key":"21_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-49727-7_14","volume-title":"On the Power of Homeomorphic Embedding for Online Termination","author":"M. Leuschel","year":"1998","unstructured":"M. Leuschel. On the Power of Homeomorphic Embedding for Online Termination. In G. Levi, editor, Proc. of SAS\u201998, pages 230\u2013245. Springer LNCS 1503, 1998."},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Combining Functional and Logic Programming Languages. In Proc. of the International Logic Programming Symposium, pages 43\u201357, 1994.","DOI":"10.7551\/mitpress\/4301.001.0001"},{"key":"21_CR23","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J.W. Lloyd","year":"1991","unstructured":"J.W. Lloyd and J.C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, 11:217\u2013242, 1991.","journal-title":"Journal of Logic Programming"},{"key":"21_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-48685-2_19","volume-title":"TOY: A Multiparadigm Declarative System","author":"F. L\u00f3pez-Fraguas","year":"1999","unstructured":"F. L\u00f3pez-Fraguas and J. S\u00e1nchez-Hern\u00e1ndez. TOY: A Multiparadigm Declarative System. In Proc. of RTA\u201999, pages 244\u2013247. Springer LNCS 1631, 1999."},{"key":"21_CR25","doi-asserted-by":"crossref","unstructured":"W. Lux and H. Kuchen. An Efficient Abstract Machine for Curry. In Proc. of WFLP\u201999, pages 171\u2013181, 1999.","DOI":"10.1007\/978-3-662-01069-3_58"},{"key":"21_CR26","doi-asserted-by":"crossref","unstructured":"B. Martens and J. Gallagher. Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. In L. Sterling, editor, Proc. of ICLP\u201995, pages 597\u2013611. MIT Press, 1995.","DOI":"10.7551\/mitpress\/4298.003.0059"},{"key":"21_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-61055-3_27","volume-title":"Compiling Haskell by Program Transformation: a Report from the Trenches","author":"S.L. Peyton-Jones","year":"1996","unstructured":"S.L. Peyton-Jones. Compiling Haskell by Program Transformation: a Report from the Trenches. In Proc. of ESOP\u201996, pages 18\u201344. Springer LNCS 1058, 1996."},{"key":"21_CR28","unstructured":"M.H. S\u2205rensen and R. Gl\u00fcck. An Algorithm of Generalization in Positive Super compilation. In Proc. of ILPS\u201995, pages 465\u2013479. MIT Press, 1995."},{"issue":"6","key":"21_CR29","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1017\/S0956796800002008","volume":"6","author":"M.H. S\u2205rensen","year":"1996","unstructured":"M.H. S\u2205rensen, R. Gl\u00fcck, and N.D. Jones. A Positive Supercompiler. Journal of Functional Programming, 6(6):811\u2013838, 1996.","journal-title":"Journal of Functional Programming"},{"key":"21_CR30","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0304-3975(90)90147-A","volume":"73","author":"P.L. Wadler","year":"1990","unstructured":"P.L. Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73:231\u2013248, 1990.","journal-title":"Theoretical Computer Science"}],"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_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T11:50:10Z","timestamp":1708170610000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44716-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417392","9783540447160"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-44716-4_21","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"}}]}}