{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:29Z","timestamp":1751983649752},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665403"},{"type":"electronic","value":"9783540481645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10704567_22","type":"book-chapter","created":{"date-parts":[[2006,12,28]],"date-time":"2006-12-28T18:27:08Z","timestamp":1167330428000},"page":"360-377","source":"Crossref","is-referenced-by-count":6,"title":["Declarative Program Transformation: A Deforestation Case-Study"],"prefix":"10.1007","author":[{"given":"Lo\u00efc","family":"Correnson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Etienne","family":"Duris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Didier","family":"Parigot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Roussel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"22_CR1","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"Burstall, R.M., Darlington, J.: A transformation system for developing recursive programs. Journal of the ACM\u00a024(1), 44\u201367 (1977)","journal-title":"Journal of the ACM"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0026823","volume-title":"Programming Languages: Implementations, Logics and Programs","author":"W.N. Chin","year":"1995","unstructured":"Chin, W.N., Khoo, S.C.: Better consumers for deforestation. In: Swierstra, S.D. (ed.) PLILP 1995. LNCS, vol.\u00a0982, Springer, Heidelberg (1995)"},{"issue":"1","key":"22_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01744285","volume":"13","author":"L.M. Chirica","year":"1979","unstructured":"Chirica, L.M., Martin, D.F.: An order-algebraic definition of Knuthian semantics. Mathematical Systems Theory\u00a013(1), 1\u201327 (1979)","journal-title":"Mathematical Systems Theory"},{"key":"22_CR4","volume-title":"Workshop on Partial Evaluation and Semantics-Based Program Manipulation. PEPM 1999","author":"C. Consel","year":"1999","unstructured":"Consel, C.: Program adaptation based on program specialization. In: Workshop on Partial Evaluation and Semantics-Based Program Manipulation. PEPM 1999, San Antonio, Texas, January 1999, ACM press, New York (1999)"},{"key":"22_CR5","unstructured":"Correnson, L.: G\u00e9n\u00e9ricit\u00e9 dans les grammaires attribu\u00e9es. Rapport de stage d\u2019option, \u00c9cole Polytechnique (1996)"},{"key":"22_CR6","unstructured":"Correnson, L., Duris, E., Parigot, D., Roussel, G.: Generic programming by program composition (position paper). In: Workshop on Generic Programming (WGP 1998), Marstrand, Sweden (June 1998)"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Correnson, L., Duris, E., Parigot, D., Roussel, G.: Equational Semantics. In: International Static Anaysis Symposium, Veneszia, Italy (September 1999)","DOI":"10.1007\/3-540-48294-6_17"},{"key":"22_CR8","unstructured":"Duris, E.: Contribution aux relations entre les grammaires attribut\u00e9es et la programmation fonctionnelle. PhD thesis, Universit\u00e9 d\u2019Orl\u00e9ans (October 1998)"},{"key":"22_CR9","unstructured":"Ganzinger, H., Giegerich, R., Vach, M.: MARVIN: a tool for applicative and modular compiler specifications. Forschungsbericht 220, Fachbereich Informatik, University Dortmund (July 1986)"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/BF02737108","volume":"25","author":"R. Giegerich","year":"1988","unstructured":"Giegerich, R.: Composition and evaluation of attribute coupled grammars. Acta Informatica\u00a025, 355\u2013423 (1988)","journal-title":"Acta Informatica"},{"key":"22_CR11","volume-title":"Functional Programming and Computer Architecture (FPCA 1993)","author":"A. Gill","year":"1993","unstructured":"Gill, A., Launchbury, J., Peyton Jones, S.L.: A short cut to deforestation. In: Functional Programming and Computer Architecture (FPCA 1993), Copenhagen, Denmark, ACM Press, New York (1993)"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"G.W. Hamilton","year":"1996","unstructured":"Hamilton, G.W.: Higher order deforestation. In: Kuchen, H., Swierstra, S.D. (eds.) PLILP 1996. LNCS, vol.\u00a01140, Springer, Heidelberg (1996)"},{"key":"22_CR13","volume-title":"International Conference on Functional Programming (ICFP 1996)","author":"Z. Hu","year":"1996","unstructured":"Hu, Z., Iwasaki, H., Takeishi, M.: Deriving structural hylomorphisms from recursive definitions. In: International Conference on Functional Programming (ICFP 1996), Philadelphia, ACM Press, New York (1996)"},{"key":"22_CR14","volume-title":"Principles of Programming Languages (POPL 1997)","author":"P. Jansson","year":"1997","unstructured":"Jansson, P., Jeuring, J.: PolyP - a polytypic programming language extension. In: Principles of Programming Languages (POPL 1997), ACM Press, New York (1997)"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Functional Programming Languages and Computer Architecture","author":"T. Johnsson","year":"1987","unstructured":"Johnsson, T.: Attribute grammars as a functional programming paradigm. In: Kahn, G. (ed.) FPCA 1987. LNCS, vol.\u00a0274, Springer, Heidelberg (1987)"},{"key":"22_CR16","volume-title":"Functional Programming Languages and Computer Architecture (FPCA 1995)","author":"J. Launchbury","year":"1995","unstructured":"Launchbury, J., Sheard, T.: Warm fusion: Deriving build-cata\u2019s from recursive definitions. In: Functional Programming Languages and Computer Architecture (FPCA 1995), La Jolla, CA, ACM Press, New York (1995)"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Language Implementation and Logic Programming","author":"C. Bellec Le","year":"1993","unstructured":"Le Bellec, C., Jourdan, M., Parigot, D., Roussel, G.: Specification and Implementation of Grammar Coupling Using Attribute Grammars. In: Penjam, J., Bruynooghe, M. (eds.) PLILP 1993. LNCS, vol.\u00a0714, Springer, Heidelberg (1993)"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Functional Programming Languages and Computer Architecture","author":"E. Meijer","year":"1991","unstructured":"Meijer, E., Fokkinga, M.M., Paterson, R.: Functional programming with bananas, lenses, envelopes and barbed wire. In: Hughes, J. (ed.) FPCA 1991. LNCS, vol.\u00a0523, Springer, Heidelberg (1991)"},{"issue":"2","key":"22_CR19","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/210376.197409","volume":"27","author":"J. Paakki","year":"1995","unstructured":"Paakki, J.: Attribute grammar paradigms | A high-level methodology in language implementation. ACM Computing Surveys\u00a027(2), 196\u2013255 (1995)","journal-title":"ACM Computing Surveys"},{"key":"22_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Languages and Systems - ESOP \u201996","author":"J. Palsberg","year":"1996","unstructured":"Palsberg, J., Patt-Shamir, B., Lieberherr, K.: A new approach to compiling adaptive programs. In: Riis Nielson, H. (ed.) ESOP 1996. LNCS, vol.\u00a01058, Springer, Heidelberg (1996)"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Parigot, D., Duris, E., Roussel, G., Jourdan, M.: Attribute grammars: a declarative functional language. Research Report 2662, INRIA (October 1995)","DOI":"10.1007\/3-540-61756-6_81"},{"key":"22_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"D. Parigot","year":"1996","unstructured":"Parigot, D., Roussel, G., Jourdan, M., Duris, E.: Dynamic Attribute Grammars. In: Kuchen, H., Swierstra, S.D. (eds.) PLILP 1996. LNCS, vol.\u00a01140, Springer, Heidelberg (1996)"},{"key":"22_CR23","unstructured":"Roussel, G.: Algorithmes de base pour la modularit\u00e9 et al r\u00e9utilisabilites des grammaires attribut\u00e9es. PhD thesis, Universit\u00e9 de Paris 6 (March 1994)"},{"key":"22_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"Compiler Construction","author":"G. Roussel","year":"1994","unstructured":"Roussel, G., Parigot, D., Jourdan, M.: Coupling Evaluators for Attribute Coupled Grammars. In: Fritzson, P.A. (ed.) CC 1994. LNCS, vol.\u00a0786, Springer, Heidelberg (1994)"},{"issue":"1-3","key":"22_CR25","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0167-6423(97)00031-2","volume":"32","author":"H. Seidl","year":"1998","unstructured":"Seidl, H., S\u03c6rensen, M.H.: Constraints to stop deforestation. Science of Computer Programming\u00a032(1-3), 73\u2013107 (1998)","journal-title":"Science of Computer Programming"},{"key":"22_CR26","volume-title":"Functional Programming and Computer Architecture (FPCA 1993)","author":"T. Sheard","year":"1993","unstructured":"Sheard, T., Fegaras, L.: A fold for all seasons. In: Functional Programming and Computer Architecture (FPCA 1993), Copenhagen, Denmark, ACM Press, New York (1993)"},{"key":"22_CR27","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Languages and Systems - ESOP \u201994","author":"M.H. S\u03c6rensen","year":"1994","unstructured":"S\u03c6rensen, M.H., Gl\u00fcck, R., Jones, N.D.: Towards unifying deforestation, supercompilation, partial evaluation, and generalized partial computation. In: Sannella, D. (ed.) ESOP 1994. LNCS, vol.\u00a0788, Springer, Heidelberg (1994)"},{"key":"22_CR28","volume-title":"Functional Programming Languages and Computer Architecture (FPCA 1995)","author":"A. Takano","year":"1995","unstructured":"Takano, A., Meijer, E.: Shortcut deforestation in calculational form. In: Functional Programming Languages and Computer Architecture (FPCA 1995), La Jolla, CA, ACM Press, New York (1995)"},{"key":"22_CR29","series-title":"Lecture Notes in Computer Science","volume-title":"ESOP \u201988","author":"P. Wadler","year":"1988","unstructured":"Wadler, P.: Deforestation: Transforming Programs to Eliminate Trees. In: Ganzinger, H. (ed.) ESOP 1988. LNCS, vol.\u00a0300, Springer, Heidelberg (1988)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10704567_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T07:13:28Z","timestamp":1556003608000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10704567_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665403","9783540481645"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/10704567_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}