{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:47:45Z","timestamp":1725486465787},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540413486"},{"type":"electronic","value":"9783540444114"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44411-4_17","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T22:52:31Z","timestamp":1182207151000},"page":"289-297","source":"Crossref","is-referenced-by-count":5,"title":["An Automatic Composition Algorithm for Functional Logic Programs"],"prefix":"10.1007","author":[{"given":"Mar\u00eda","family":"Alpuente","sequence":"first","affiliation":[]},{"given":"Moreno","family":"Falaschi","sequence":"additional","affiliation":[]},{"given":"Gin\u00e9s","family":"Moreno","sequence":"additional","affiliation":[]},{"given":"Germ\u00e1n","family":"Vidal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"17_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/3-540-49727-7_16","volume-title":"Improving Control in Functional Logic Program Specialization","author":"E. Albert","year":"1998","unstructured":"E. Albert, M. Alpuente, M. Falaschi, P. Juli\u00e1n, and G. Vidal. Improving Control in Functional Logic Program Specialization. In G. Levi, editor, Proc. of Static Analysis Symposium, SAS\u201998, pages 262\u2013277. Springer LNCS 1503, 1998. 292"},{"key":"17_CR2","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), pages 147\u2013162. Springer LNCS 1722, 1999. 290, 293, 296"},{"issue":"4","key":"17_CR3","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. 290, 292","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"M. Alpuente, M. Hanus, S. Lucas, and G. Vidal. Specialization of Inductively Sequential Functional Logic Programs. In P. Lee, editor, Proc. of 1999 International Conference on Functional Programming, ICFP\u201999, Paris (France). ACM, New York, 1999. 291, 292","DOI":"10.1145\/317636.317910"},{"key":"17_CR5","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, New York, 1994. ACM Press. 289","DOI":"10.1145\/174675.177899"},{"issue":"1","key":"17_CR6","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. 290, 293, 294, 295, 296","journal-title":"Journal of the ACM"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"W. Chin. Towards an Automated Tupling Strategy. In Proc. of Partial Evaluation and Semantics-Based Program Manipulation, 1993, pages 119\u2013132. ACM, New York, 1993. 296","DOI":"10.1145\/154630.154643"},{"key":"17_CR8","doi-asserted-by":"crossref","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. 290","DOI":"10.1145\/158511.158707"},{"key":"17_CR9","unstructured":"J. Darlington. Program transformation. In J. Darlington, P. Henderson, and D. A. Turner, editors, Functional Programming and its Applications, pages 193\u2013215. Cambridge UniversityPress, 1982. 294"},{"key":"17_CR10","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. 291"},{"key":"17_CR11","doi-asserted-by":"crossref","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. 290","DOI":"10.1145\/154630.154640"},{"key":"17_CR12","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. 291","journal-title":"Journal of Logic Programming"},{"key":"17_CR13","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. 290"},{"key":"17_CR14","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. 290","journal-title":"Journal of Logic Programming"},{"key":"17_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/3-540-61580-6_18","volume-title":"Partial Evaluation, Int\u2019l Seminar, Dagstuhl Castle, Germany","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. 290, 295"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"W. L. Scherlis. Program Improvement byI nternal Specialization. In Proc. of 8th Annual ACM Symp. on Principles of Programming Languages, pages 41\u201349. ACM Press, New York, 1981. 294","DOI":"10.1145\/567532.567536"},{"key":"17_CR17","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, pages 127\u2013139, 1984. 290, 295"},{"key":"17_CR18","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. 294","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2000: Theory and Practice of Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44411-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T04:22:59Z","timestamp":1556511779000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44411-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540413486","9783540444114"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44411-4_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}