{"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":1761611214160},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421276"},{"type":"electronic","value":"9783540451426"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45142-0_7","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T21:17:34Z","timestamp":1185916654000},"page":"103-124","source":"Crossref","is-referenced-by-count":7,"title":["Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages"],"prefix":"10.1007","author":[{"given":"Elvira","family":"Albert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Germ\u00e1n","family":"Vidal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio","family":"Antoy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,2]]},"reference":[{"key":"7_CR1","unstructured":"A. V. Aho, J. E. Hopcroft, and J. D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, MA, 1974."},{"key":"7_CR2","unstructured":"E. Albert, M. Alpuente, M. Falaschi, and G. Vidal. Indy User\u2019s Manual. Technical Report DSIC-II\/12\/98, UPV, 1998."},{"key":"7_CR3","unstructured":"E. Albert, S. Antoy, and G. Vidal. A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. Technical Report DSIC, UPV, 2000. Available from URL: http:\/\/www.dsic.upv.es\/users\/elp\/papers.html ."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"E. Albert, M. Hanus, and G. Vidal. Using an Abstract Representation to Specialize Functional Logic Programs. In Proc. of the 7th Int\u2019l Conf. on Logic for Programming and Automated Reasoning (LPAR\u20192000), pages 381\u2013398. Springer LNAI 1955, 2000.","DOI":"10.1007\/3-540-44404-1_24"},{"issue":"4","key":"7_CR5","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"},{"issue":"9","key":"7_CR6","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/317765.317910","volume":"34","author":"M. Alpuente","year":"1999","unstructured":"M. Alpuente, M. Hanus, S. Lucas, and G. Vidal. Specialization of Functional Logic Programs Based on Needed Narrowing. ACM Sigplan Notices, 34(9):273\u2013283, 1999.","journal-title":"ACM Sigplan Notices"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"T. Amtoft. Properties of Unfolding-based Meta-level Systems. In Proc. of PEPM\u201991, pages 243\u2013254. ACM Press, 1991.","DOI":"10.1145\/115866.115892"},{"key":"7_CR8","unstructured":"L. O. Andersen and C. K. Gomard. Speedup Analysis in Partial Evaluation: Preliminary Results. In Proc. of PEPM\u201992, pages 1\u20137. Yale University, 1992."},{"key":"7_CR9","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":"7_CR10","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":"7_CR11","doi-asserted-by":"crossref","unstructured":"F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.","DOI":"10.1017\/CBO9781139172752"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1145\/158511.158707","volume-title":"Proc. of the Annual Symp. on Principles of Programming Languages (POPL\u201993)","author":"C. Consel","year":"1993","unstructured":"C. Consel and O. Danvy. Tutorial notes on Partial Evaluation. In Proc. of the Annual Symp. on Principles of Programming Languages (POPL\u201993), pages 493\u2013501. ACM, New York, 1993."},{"issue":"5","key":"7_CR13","doi-asserted-by":"publisher","first-page":"826","DOI":"10.1145\/161468.161472","volume":"15","author":"S. K. Debray","year":"1993","unstructured":"S. K. Debray and N. W. Lin. Cost Analysis of Logic Programs. ACM Transactions on Programming Languages and Systems, 15(5):826\u2013975, 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR14","first-page":"88","volume-title":"Proc. of PEPM\u201993","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":"7_CR15","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":"7_CR16","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"},{"key":"7_CR17","unstructured":"M. Hanus (ed.). Curry: An Integrated Functional Logic Language. Available at http:\/\/www-i2.informatik.rwth-aachen.de\/~hanus\/curry , 2000."},{"key":"7_CR18","unstructured":"G. Huet and J. J. L\u00e9vy. Computations in orthogonal rewriting systems, Part I + II. In J. L. Lassez and G. D. Plotkin, editors, Computational Logic-Essays in Honor of Alan Robinson, pages 395\u2013443, 1992."},{"key":"7_CR19","unstructured":"M. P. Jones and A. Reid. The Hugs 98 User Manual. Available at http:\/\/haskell.cs.yale.edu\/hugs\/ , 1998."},{"key":"7_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1007\/BFb0032064","volume-title":"Proc. of 17th Int\u2019l Colloquium on Automata, Languages and Programming (ICALP\u201990)","author":"N. D. Jones","year":"1990","unstructured":"N. D. Jones. Partial Evaluation, Self-Application and Types. In M. S. Paterson, editor, Proc. of 17th Int\u2019l Colloquium on Automata, Languages and Programming (ICALP\u201990), pages 639\u2013659. Springer LNCS 443, 1990."},{"key":"7_CR21","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":"7_CR22","doi-asserted-by":"crossref","unstructured":"Laura Lafave. A Constraint-based Partial Evaluator for Functional Logic Programs and its Application. PhD thesis, University of Bristol, 1999.","DOI":"10.1007\/3-540-49674-2_9"},{"key":"7_CR23","first-page":"319","volume-title":"Proc. of the Joint Int\u2019l Conf. and Symp. on Logic Programming (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 the Joint Int\u2019l Conf. and Symp. on Logic Programming (JICSLP\u201996), pages 319\u2013332. The MIT Press, Cambridge, MA, 1996."},{"key":"7_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BFb0057778","volume-title":"Proc. of ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems","author":"Y. A. Liu","year":"1998","unstructured":"Y. A. Liu and G. Gomez. Automatic Accurate Time-Bound Analysis for High-Level Languages. In Proc. of ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, pages 31\u201340. Springer LNCS 1474, 1998."},{"key":"7_CR25","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":"7_CR26","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 5th Int\u2019l Symp. on Programming Language Implementation and Logic Programming (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 Proc. of 5th Int\u2019l Symp. on Programming Language Implementation and Logic Programming (PLILP\u201993), pages 184\u2013200. Springer LNCS 714, 1993."},{"key":"7_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-48685-2_19","volume-title":"Proc. of the 10th Int\u2019l Conf. on Rewriting Techniques and Applications (RTA\u201999)","author":"F. J. L\u00f3pez-Fraguas","year":"1999","unstructured":"F. J. L\u00f3pez-Fraguas and J. S\u00e1nchez-Hern\u00e1ndez. TOY: A Multiparadigm Declarative System. In Proc. of the 10th Int\u2019l Conf. on Rewriting Techniques and Applications (RTA\u201999), pages 244\u2013247. Springer LNCS 1631, 1999."},{"issue":"3","key":"7_CR28","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":"7_CR29","unstructured":"F. Nielson. A Formal Type System for Comparing Partial Evaluators. In Proc. of the Int\u2019l Workshop on Partial Evaluation and Mixed Computation, pages 349\u2013384. N-H, 1988."},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"M. Rosendahl. Automatic Complexity Analysis. In Proc. of the Int\u2019l Conf. on Functional Programming Languages and Computer Architecture, pages 144\u2013156, New York, NY, 1989. ACM.","DOI":"10.1145\/99370.99381"},{"issue":"4","key":"7_CR31","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1093\/logcom\/5.4.495","volume":"5","author":"D. Sands","year":"1995","unstructured":"D. Sands. A Naive Time Analysis and its Theory of Cost Equivalence. Journal of Logic and Computation, 5(4):495\u2013541, 1995.","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"7_CR32","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/227699.227716","volume":"18","author":"D. Sands","year":"1996","unstructured":"D. Sands. Total Correctness by Local Improvement in the Transformation of Functional Programs. ACM Transactions on Programming Languages and Systems, 18(2):175\u2013234, March 1996.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"7_CR33","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1145\/244795.244802","volume":"19","author":"P. M. Sansom","year":"1997","unstructured":"P. M. Sansom and S. L. Peyton-Jones. Formally Based Profiling for Higher-Order Functional Languages. ACM Transactions on Programming Languages and Systems, 19(2):334\u2013385, 1997.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR34","unstructured":"M. H. S\u00f8rensen. Turchin\u2019s Supercompiler Revisited: An Operational Theory of Positive Information Propagation. Technical Report 94\/7, Master\u2019s Thesis, DIKU, University of Copenhagen, Denmark, 1994."},{"issue":"6","key":"7_CR35","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1017\/S0956796800002008","volume":"6","author":"M. H. S\u00f8rensen","year":"1996","unstructured":"M. H. S\u00f8rensen, 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"}],"container-title":["Lecture Notes in Computer Science","Logic Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45142-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:27:19Z","timestamp":1556713639000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45142-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421276","9783540451426"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-45142-0_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}