{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:11Z","timestamp":1762458551508},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664925"},{"type":"electronic","value":"9783540482420"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48242-3_23","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:28:09Z","timestamp":1184603289000},"page":"376-395","source":"Crossref","is-referenced-by-count":8,"title":["A Partial Evaluation Framework for Curry Programs"],"prefix":"10.1007","author":[{"given":"Elvira","family":"Albert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mar\u00eda","family":"Alpuente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Harms","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Germ\u00e1n","family":"Vidal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lect Notes Comput Sci","first-page":"42","volume-title":"Proc. Workshop on Next Generation Information Systems Technology","author":"H. A\u00eft-Kaci","year":"1990","unstructured":"H. A\u00eft-Kaci. An Overview of LIFE. In J.W. Schmidt and A.A. Stogny, editors, Proc. Workshop on Next Generation Information Systems Technology, pages 42\u201358. Springer LNCS 504, 1990."},{"key":"23_CR2","first-page":"17","volume-title":"Proc. of Fourth IEEE Int\u2019l Symp. on Logic Programming","author":"H. A\u00eft-Kaci","year":"1987","unstructured":"H. A\u00eft-Kaci, P. Lincoln, and R. Nasr. Le Fun: Logic, equations, and Functions. In Proc. of Fourth IEEE Int\u2019l Symp. on Logic Programming, pages 17\u201323. IEEE, New York, 1987."},{"key":"23_CR3","unstructured":"E. Albert, M. Alpuente, M. Falaschi, and G. Vidal. Indy User\u2019s Manual. Technical Report DSIC-II\/12\/98, UPV, 1998. Available from URL: http:\/\/www.dsic.upv.es\/users\/elp\/papers.html ."},{"key":"23_CR4","unstructured":"E. Albert, M. Alpuente, M. Hanus, and G. Vidal. Partial Evaluation of Residuating Functional Logic Programs. Technical report, DSIC, UPV, 1999. Available from URL: http:\/\/www.dsic.upv.es\/users\/elp\/papers.html ."},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/258993.259015","volume":"32","author":"M. Alpuente","year":"1997","unstructured":"M. Alpuente, M. Falaschi, P. Juli\u00e1n, and G. Vidal. Specialization of Lazy Functional Logic Programs. In Proc. of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM\u201997, volume 32, 12 of Sigplan Notices, pages 151\u2013162, New York, 1997. ACM Press.","journal-title":"Proc. of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM\u201997"},{"issue":"4","key":"23_CR6","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 Transactions on Programming Languages and Systems, 20(4):768\u2013844, 1998.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"23_CR7","volume-title":"Proc. of the Int\u2019l Conference on Functional Programming, ICFP\u201999","author":"M. Alpuente","year":"1999","unstructured":"M. Alpuente, M. Hanus, S. Lucas, and G. Vidal. Specialization of Functional Logic Programs Based on Needed Narrowing. In P. Lee, editor, Proc. of the Int\u2019l Conference on Functional Programming, ICFP\u201999, Paris (France). ACM, New York, 1999."},{"key":"23_CR8","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."},{"key":"23_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/BFb0027000","volume-title":"Proc. of the Int\u2019l Conference on Algebraic and Logic Programming, ALP\u201997","author":"S. Antoy","year":"1997","unstructured":"S. Antoy. Optimal non-deterministic functional logic computations. In Proc. of the Int\u2019l Conference on Algebraic and Logic Programming, ALP\u201997, pages 16\u201330. Springer LNCS 1298, 1997."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Proc. 21st ACM Symp. on Principles of Programming Languages, Portland, pages 268\u2013279, 1994.","DOI":"10.1145\/174675.177899"},{"key":"23_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/3-540-57186-8_68","volume-title":"Proc. of PLILP\u201993","author":"J. Boye","year":"1993","unstructured":"J. Boye. Avoiding Dynamic Delays in Functional Logic Languages. In J. Penjam and M. Bruynooghe, editors, Proc. of PLILP\u201993, pages 12\u201327. Springer LNCS 714, 1993."},{"key":"23_CR12","first-page":"493","volume-title":"Proc. of 20th Annual ACM Symp. on Principles of Programming Languages","author":"C. Consel","year":"1993","unstructured":"C. Consel and O. Danvy. Tutorial notes on Partial Evaluation. In Proc. of 20th Annual ACM Symp. on Principles of Programming Languages, pages 493\u2013501. ACM, New York, 1993."},{"key":"23_CR13","series-title":"Formal Models and Semantics","first-page":"243","volume-title":"Handbook of Theoretical Computer Science","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite Systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 243\u2013320. Elsevier, Amsterdam, 1990."},{"key":"23_CR14","first-page":"137","volume-title":"Proc. of the ACM Sigplan PEPM\u201997","author":"S. Etalle","year":"1997","unstructured":"S. Etalle, M. Gabbrielli, and E. Marchiori. A Transformation System for CLP with Dynamic Scheduling and CCP. In Proc. of the ACM Sigplan PEPM\u201997, pages 137\u2013150. ACM Press, New York, 1997."},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/154630.154640","volume-title":"Proc. of Partial Evaluation and Semantics-Based Program Manipulation, Copenhagen, Denmark, June 1993","author":"J. Gallagher","year":"1993","unstructured":"J. Gallagher. Tutorial on Specialisation of Logic Programs. In Proc. of Partial Evaluation and Semantics-Based Program Manipulation, Copenhagen, Denmark, June 1993, pages 88\u201398. ACM, New York, 1993."},{"key":"23_CR16","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/0022-0000(91)90009-T","volume":"42","author":"E. Giovannetti","year":"1991","unstructured":"E. Giovannetti, G. Levi, C. Moiso, and C. Palamidessi. Kernel Leaf: A Logic plus Functional Language. Journal of Computer and System Sciences, 42:363\u2013377, 1991.","journal-title":"Journal of Computer and System Sciences"},{"key":"23_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/3-540-58402-1_13","volume-title":"Proc. of PLILP\u201994","author":"R. Gl\u00fcck","year":"1994","unstructured":"R. Gl\u00fcck and M.H. S\u00f8rensen. Partial Deduction and Driving are Equivalent. In Proc. of PLILP\u201994, pages 165\u2013181. Springer LNCS 844, 1994."},{"key":"23_CR18","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19&20","author":"M. Hanus","year":"1994","unstructured":"M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583\u2013628, 1994.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"23_CR19","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0743-1066(94)00105-F","volume":"24","author":"M. Hanus","year":"1995","unstructured":"M. Hanus. Analysis of Residuating Logic Programs. Journal of Logic Programming, 24(3):161\u2013199, 1995.","journal-title":"Journal of Logic Programming"},{"key":"23_CR20","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/263699.263710","volume-title":"Proc. of the 24th ACM Symposium on Principles of Programming Languages (Paris)","author":"M. Hanus","year":"1997","unstructured":"M. Hanus. A unified computation model for functional and logic programming. In Proc. of the 24th ACM Symposium on Principles of Programming Languages (Paris), pages 80\u201393. ACM, New York, 1997."},{"key":"23_CR21","unstructured":"M. Hanus (ed.). Curry: An Integrated Functional Logic Language. Available at http:\/\/www-i2.informatik.rwth-aachen.de\/~hanus\/curry , 1999."},{"key":"23_CR22","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."},{"issue":"3","key":"23_CR23","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1145\/243439.243447","volume":"28","author":"N. D. Jones","year":"1996","unstructured":"Neil D. Jones. An Introduction to Partial Evaluation. ACM Computing Surveys, 28(3):480\u2013503, Sept. 1996.","journal-title":"ACM Computing Surveys"},{"key":"23_CR24","first-page":"319","volume-title":"Proc. of JICSLP\u201996","author":"M. Leuschel","year":"1996","unstructured":"M. Leuschel, D. De Schreye, and A. de Waal. A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. In M. Maher, editor, Proc. of JICSLP\u201996, pages 319\u2013332. The MIT Press, Cambridge, MA, 1996."},{"key":"23_CR25","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":"23_CR26","unstructured":"J.W. Lloyd. Declarative Programming in Escher. Technical Report CSTR-95-013, Computer Science Department, University of Bristol, 1995."},{"key":"23_CR27","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":"23_CR28","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-57186-8_79","volume-title":"Proc. of PLILP\u201993","author":"R. Loogen","year":"1993","unstructured":"R. Loogen, F. L\u00f3pez-Fraguas, and M. Rodr\u00edguez-Artalejo. A Demand Driven Computation Strategy for Lazy Narrowing. In J. Penjam and M. Bruynooghe, editors, Proc. of PLILP\u201993, pages 184\u2013200. Springer LNCS 714, 1993."},{"issue":"3","key":"23_CR29","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0743-1066(92)90024-W","volume":"12","author":"J.J. Moreno-Navarro","year":"1992","unstructured":"J.J. Moreno-Navarro and M. Rodr\u00edguez-Artalejo. Logic Programming with Functions and Predicates: The language Babel. Journal of Logic Programming, 12(3):191\u2013224, 1992.","journal-title":"Journal of Logic Programming"},{"key":"23_CR30","series-title":"Lect Notes Comput Sci","volume-title":"Negation and Control in Prolog","author":"L. Naish","year":"1987","unstructured":"L. Naish. Negation and Control in Prolog. Springer LNCS 238, 1987."},{"key":"23_CR31","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/3-540-54444-5_84","volume-title":"Proc. of the 3rd Int\u2019l Symp. on Programming Languages Implementation and Logic Programming","author":"L. Naish","year":"1991","unstructured":"L. Naish. Adding equations to NU-Prolog. In J. Maluszy\u0144ski and M. Wirsing, editors, Proc. of the 3rd Int\u2019l Symp. on Programming Languages Implementation and Logic Programming, pages 15\u201326. Springer LNCS 528, 1991."},{"key":"23_CR32","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/BFb0015252","volume-title":"Computer Science Today: Recent Trends and Developments","author":"G. Smolka","year":"1995","unstructured":"G. Smolka. The Oz Programming Model. In Jan van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, pages 324\u2013343. Springer LNCS 1000, 1995."}],"container-title":["Lecture Notes in Computer Science","Logic for Programming and Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48242-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,16]],"date-time":"2024-02-16T18:48:06Z","timestamp":1708109286000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48242-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664925","9783540482420"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-48242-3_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}