{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:34Z","timestamp":1762458574315},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650140"},{"type":"electronic","value":"9783540497271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49727-7_16","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T03:02:49Z","timestamp":1181185369000},"page":"262-277","source":"Crossref","is-referenced-by-count":9,"title":["Improving Control in Functional Logic Program Specialization"],"prefix":"10.1007","author":[{"given":"E.","family":"Albert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Alpuente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Falaschi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Juli\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Vidal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,24]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"E. Albert, M. Alpuente, M. Falaschi, P. Juli\u00e1n, and G. Vidal. Improving Control in Functional Logic Program Specialization. Technical Report DSIC-II\/2\/97, UPV, 1998. Available from URL: http:\/\/www.dsic.upv.es\/users\/elp\/papers.html .","DOI":"10.1007\/3-540-49727-7_16"},{"key":"16_CR2","unstructured":"E. Albert, M. Alpuente, M. Falaschi, and G. Vidal. Indy User\u2019s Manual. Technical Report, available from http:\/\/www.dsic.upv.es\/users\/elp\/papers.html ."},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"M. Alpuente, M. Falaschi, P. Juli\u00e1n, and G. Vidal. Specialization of Lazy Functional Logic Programs. In Proc. of PEPM\u201997, volume 32(12) of Sigplan Notices, pages 151\u2013162, New York, 1997. ACM Press.","DOI":"10.1145\/258993.259015"},{"key":"16_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/3-540-61055-3_28","volume-title":"Proc. of the 6th European Symp. on Programming, ESOP\u201996","author":"M. Alpuente","year":"1996","unstructured":"M. Alpuente, M. Falaschi, and G. Vidal. Narrowing-driven Partial Evaluation of Functional Logic Programs. In H. Riis Nielson, editor, Proc. of the 6th European Symp. on Programming, ESOP\u201996, pages 45\u201361. Springer LNCS 1058, 1996."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"M. Alpuente, M. Falaschi, and G. Vidal. Partial Evaluation of Functional Logic Programs. ACM TOPLAS, 1998. To appear.","DOI":"10.1145\/291891.291896"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"M. Alpuente, M. Falaschi, and G. Vidal. A Unifying View of Functional and Logic Program Specialization. ACM Computing Surveys, 1998. To appear.","DOI":"10.1145\/289121.289130"},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"R.M. Burstall and J. Darlington. A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1):44\u201367, 1977.","journal-title":"Journal of the ACM"},{"key":"16_CR8","series-title":"Technical Report","volume-title":"User\u2019s manual for Toy","author":"R. Caballero-Rold\u00e1n","year":"1997","unstructured":"R. Caballero-Rold\u00e1n, F.J. L\u00f3pez-Fraguas, and J. S\u00e1nchez-Hern\u00e1ndez. User\u2019s manual for Toy. Technical Report SIP-5797, UCM, Madrid (Spain), April 1997."},{"key":"16_CR9","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":"16_CR10","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":"16_CR11","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. J. of Computer and System Sciences, 42:363\u2013377, 1991.","journal-title":"J. of Computer and System Sciences"},{"key":"16_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/3-540-61756-6_83","volume-title":"Proc. of PLILP\u201996","author":"R. Gl\u00fcck","year":"1996","unstructured":"R. Gl\u00fcck, J. J\u00f8rgensen, B. Martens, and M.H. S\u00f8rensen. Controlling Conjunctive Partial Deduction of Definite Logic Programs. In Proc. of PLILP\u201996, pages 152\u2013166. Springer LNCS 1140, 1996."},{"key":"16_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-61580-6_8","volume-title":"Partial Evaluation, Int\u2019l Seminar, Dagstuhl Castle, Germany","author":"R. Gl\u00fcck","year":"1996","unstructured":"R. Gl\u00fcck and M.H. S\u00f8rensen. A Roadmap to Metacomputation by Supercompilation. In Partial Evaluation, Int\u2019l Seminar, Dagstuhl Castle, Germany, pages 137\u2013160. Springer LNCS 1110, February 1996."},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19","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":"16_CR15","unstructured":"M. Hanus, H. Kuchen, and J.J. Moreno-Navarro. Curry: A Truly Functional Logic Language. In Proc. ILPS\u201995 Workshop on Visions for the Future of Logic Programming, pages 95\u2013107, 1995."},{"key":"16_CR16","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":"16_CR17","doi-asserted-by":"crossref","unstructured":"J.W. Klop and A. Middeldorp. Sequentiality in Orthogonal Term Rewriting Systems. Journal of Symbolic Computation, pages 161\u2013195, 1991.","DOI":"10.1016\/S0747-7171(08)80124-1"},{"key":"16_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/3-540-56282-6_4","volume-title":"Meta-Programming in Logic","author":"J. Komorowski","year":"1992","unstructured":"J. Komorowski. An Introduction to Partial Deduction. In A. Pettorossi, editor, Meta-Programming in Logic, pages 49\u201369. Springer LNCS 649, 1992."},{"key":"16_CR19","series-title":"Technical Report","volume-title":"Partial Evaluation of Functional Logic Programs in Rewriting-based Languages","author":"L. Lafave","year":"1997","unstructured":"L. Lafave and J.P. Gallagher. Partial Evaluation of Functional Logic Programs in Rewriting-based Languages. Technical Report CSTR-97-001, Department of Computer Science, University of Bristol, Bristol, England, March 1997."},{"key":"16_CR20","unstructured":"M. Leuschel. The ecce partial deduction system and the dppd library of benchmarks. Tech. Rep., accessible via http:\/\/www.cs.kuleuven.ac.be\/~lpai , 1998."},{"key":"16_CR21","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":"16_CR22","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":"16_CR23","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."},{"key":"16_CR24","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"},{"issue":"3","key":"16_CR25","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. J. Logic Program., 12(3):191\u2013224, 1992.","journal-title":"J. Logic Program."},{"key":"16_CR26","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"P. Padawitz","year":"1988","unstructured":"P. Padawitz. Computing in Horn Clause Theories, volume 16 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, 1988."},{"issue":"2","key":"16_CR27","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1145\/234528.234529","volume":"28","author":"A. Pettorossi","year":"1996","unstructured":"A. Pettorossi and M. Proietti. Rules and Strategies for Transforming Functional and Logic Programs. ACM Computing Surveys, 28(2):360\u2013414, 1996.","journal-title":"ACM Computing Surveys"},{"key":"16_CR28","unstructured":"M.H. S\u00f8rensen and R. Gl\u00fcck. An Algorithm of Generalization in Positive Supercompilation. In Proc. of ILPS\u201995, pages 465\u2013479. The MIT Press, 1995."},{"issue":"6","key":"16_CR29","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"},{"key":"16_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","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49727-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T22:18:08Z","timestamp":1707949088000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49727-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650140","9783540497271"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-49727-7_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}