{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:32:15Z","timestamp":1725489135369},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001317"},{"type":"electronic","value":"9783540361312"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36131-6_14","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T01:42:30Z","timestamp":1186882950000},"page":"131-140","source":"Crossref","is-referenced-by-count":3,"title":["Automatic Optimization of Multi-paradigm Declarative Programs"],"prefix":"10.1007","author":[{"given":"Gin\u00e9s","family":"Moreno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,11,5]]},"reference":[{"issue":"8","key":"14_CR1","first-page":"27","volume":"X\/99","author":"M. Alpuente","year":"1999","unstructured":"M. Alpuente, M. Falaschi, C. Ferri, G. Moreno, and G. Vidal. Un sistema de transformaci\u00f3n para programasm ultiparadigma. Revista Iberoamericana de Inteligencia Artificial, X\/99(8):27\u201335, 1999.","journal-title":"Revista Iberoamericana de Inteligencia Artificial"},{"key":"14_CR2","unstructured":"M. Alpuente, M. Falaschi, C. Ferri, G. Moreno, G. Vidal, and I. Ziliotto. The Transformation System synth. Technical Report DSIC-II\/16\/99, UPV, 1999. Available in URL: http:\/\/www.dsic.upv.es\/users\/elp\/papers.html."},{"key":"14_CR3","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Safe folding\/unfolding with conditional narrowing","author":"M. Alpuente","year":"1997","unstructured":"M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal. Safe folding\/unfolding with conditional narrowing. In H. Heering M. Hanusand K. Meinke, editors, Proc. of the International Conference on Algebraic and Logic Programming, ALP\u201997, Southampton (England), pages1\u201315. Springer LNCS 1298, 1997."},{"key":"14_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/10705424_10","volume-title":"A Transformation System for Lazy Functional Logic Programs","author":"M. Alpuente","year":"1999","unstructured":"M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal. A Transformation System for Lazy Functional Logic Programs. In A. Middeldorp and T. Sato, editors, Proc. of the 4th Fuji International Symposyum on Functional and Logic Programming, FLOPS\u201999, Tsukuba (Japan), pages147\u2013162. Springer LNCS 1722, 1999."},{"key":"14_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/3-540-44411-4_17","volume-title":"An Automatic Composition Algorithm for Functional Logic Programs","author":"M. Alpuente","year":"2000","unstructured":"M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal. An Automatic Composition Algorithm for Functional Logic Programs. In V. Hlav\u00e1\u010d, K. G. Jeffery, and J. Wiedermann, editors, Proc. of the 27th Annual Conference on Current Trends in Theory and Practice of Informatics, SOFSEM\u20192000, pages289\u2013297. Springer LNCS 1963, 2000."},{"key":"14_CR6","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, pages268\u2013279, New York, 1994. ACM Press.","DOI":"10.1145\/174675.177899"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.","DOI":"10.1017\/CBO9781139172752"},{"issue":"4","key":"14_CR8","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/356827.356831","volume":"12","author":"R.S. Bird","year":"1980","unstructured":"R.S. Bird. Tabulation techniques for recursive programs. ACM Computing Surveys, 12(4):403\u2013418, 1980.","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"14_CR9","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"},{"issue":"1","key":"14_CR10","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":"14_CR11","doi-asserted-by":"crossref","unstructured":"W. Chin. Towardsan Automated Tupling Strategy. In Proc. of Partial Evaluation and Semantics-Based Program Manipulation, 1993, pages119\u2013132. ACM, New York, 1993.","DOI":"10.1145\/154630.154643"},{"key":"14_CR12","unstructured":"W. Chin, A. Goh, and S. Khoo. Effective Optimisation of Multiple Traversals in Lazy Languages. In Proc. of Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, Texas, USA (Technical Report BRICS-NS-99-1), pages 119\u2013130. University of Aarhus, DK, 1999."},{"key":"14_CR13","unstructured":"J. Darlington. Program transformation. In J. Darlington, P. Henderson, and D. A. Turner, editors, Functional Programming and its Applications, pages193\u2013215. Cambridge University Press, 1982."},{"key":"14_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":"14_CR15","doi-asserted-by":"crossref","unstructured":"G. Hutton. Fold and Unfold for Program Semantics. In Proc. of 3rd ACM SIGPLAN Int\u2019l Conf. on Functional Programming, Baltimore, Maryland, 1998.","DOI":"10.1145\/289423.289457"},{"key":"14_CR16","unstructured":"G. Moreno. Automatic Tupling for Functional-Logic Programs. Technical Report DIAB-02-07-24, UCLM, 2002. Available in URL: http:\/\/www.info-ab.uclm.es\/personal\/gmoreno\/gmoreno.htm ."},{"key":"14_CR17","unstructured":"G. Moreno. Transformation Rulesand Strategiesfor Functional-Logic Programs. AI Communications, IO Press (Amsterdam), 15(2):3, 2002."},{"key":"14_CR18","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0743-1066(94)90028-0","volume":"19","author":"A. Pettorossi","year":"1994","unstructured":"A. Pettorossi and M. Proietti. Transformation of Logic Programs: Foundations and Techniques. Journal of Logic Programming, 19,20:261\u2013320, 1994.","journal-title":"Journal of Logic Programming"},{"key":"14_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/3-540-61580-6_18","volume-title":"A Comparative Revisitation of Some Program Transformation Techniques","author":"A. Pettorossi","year":"1996","unstructured":"A. Pettorossi and M. Proietti. A Comparative Revisitation of Some Program Transformation Techniques. In O. Danvy, R. Gl\u00fcck, and P. Thiemann, editors, Partial Evaluation, Int\u2019l Seminar, Dagstuhl Castle, Germany, pages 355\u2013385. Springer LNCS 1110, 1996."},{"issue":"2","key":"14_CR20","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":"14_CR21","unstructured":"H. Tamaki and T. Sato. Unfold\/Fold Transformations of Logic Programs. In S. T\u00e4rnlund, editor, Proc. of Second Int\u2019l Conf. on Logic Programming, Uppsala, Sweden, pages127\u2013139, 1984."}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence \u2014 IBERAMIA 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36131-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:45:37Z","timestamp":1556739937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36131-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001317","9783540361312"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-36131-6_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}