{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:26:35Z","timestamp":1761596795461,"version":"3.40.5"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2000,2,1]],"date-time":"2000-02-01T00:00:00Z","timestamp":949363200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,2,1]],"date-time":"2000-02-01T00:00:00Z","timestamp":949363200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[2000,2]]},"DOI":"10.1023\/a:1018956702672","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"1-34","source":"Crossref","is-referenced-by-count":10,"title":["Warm fusion in Stratego: A case study in generation of program transformation systems"],"prefix":"10.1007","volume":"29","author":[{"given":"Patricia","family":"Johann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eelco","family":"Visser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"A.W. Appel, Compiling with Continuations(Cambridge University Press, 1992).","key":"317331_CR1","DOI":"10.1017\/CBO9780511609619"},{"issue":"1","key":"317331_CR2","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 transformational system for developing recursive programs, J. of the ACM 24(1) (1977) 44-67.","journal-title":"J. of the ACM"},{"issue":"1","key":"317331_CR3","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/141471.141494","volume":"5","author":"W.N. Chin","year":"1992","unstructured":"W.N. Chin, Safe fusion of functional expressions, ACMLisp Pointers 5(1) (1992) 11-20, Proceedings of the 1992 ACM Conference on Lisp and Functional Programming.","journal-title":"Proceedings of the 1992 ACM Conference on Lisp and Functional Programming"},{"key":"317331_CR4","series-title":"Technical Report","volume-title":"Proceedings of the 2nd International Symposium on Constructing Software Engineering Tools","author":"M. de Jonge","year":"2000","unstructured":"M. de Jonge, A pretty-printer for every occasion, in: Proceedings of the 2nd International Symposium on Constructing Software Engineering Tools (CoSET2000), eds. I. Ferguson, J. Gray and L. Scott, Limerick, Ireland (June 2000); also: Technical Report, University of Wollongong, Australia."},{"unstructured":"M. Fokkinga, Law and order in algorithmics, Ph.D. thesis, Twente University (1992).","key":"317331_CR5"},{"issue":"1","key":"317331_CR6","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/114005.102805","volume":"13","author":"P. Fradet","year":"1991","unstructured":"P. Fradet and D. Le M\u00e9tayer, Compilation of functional languages by program transformation, ACM Trans. Programming Languages Syst. 13(1) (1991) 21-51.","journal-title":"Programming Languages Syst."},{"unstructured":"A.J. Gill, Cheap deforestation for non-strict functional languages, Ph.D. thesis, University of Glasgow (January 1996).","key":"317331_CR7"},{"doi-asserted-by":"crossref","unstructured":"A. Gill, J. Launchbury and S.L. Peyton Jones, A short cut to deforestation, in: Functional Programming Languages and Computer Architecture (FPCA'93), ed. Arvind (ACMPress, 1993) pp. 223-232.","key":"317331_CR8","DOI":"10.1145\/165180.165214"},{"unstructured":"T. Hagino, A categorical programming language, Ph.D. thesis, University of Edinburgh (1987).","key":"317331_CR9"},{"issue":"6","key":"317331_CR10","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/232627.232637","volume":"31","author":"Z. Hu","year":"1996","unstructured":"Z. Hu, H. Iwasaki and M. Takeichi, Deriving structural hylomorphisms from recursive definitions, ACM SIGPLAN Notices 31(6) (1996) 73-82, Proceedings of the International Conference on Functional Programming (ICFP'96), Philadelphia.","journal-title":"Proceedings of the International Conference on Functional Programming"},{"unstructured":"P. Johann, An implementation of warm fusion, available at ftp:\/\/ftp.cse.ogi.edu\/pub\/ pacsoft\/wf\/ (1997).","key":"317331_CR11"},{"key":"317331_CR12","series-title":"Technical report","volume-title":"Short cut fusion is correct","author":"P. Johann","year":"2000","unstructured":"P. Johann, Short cut fusion is correct, Technical report, Bates College, Lewiston, Maine, USA (2000)."},{"key":"317331_CR13","series-title":"Technical report","volume-title":"Warm fusion in Stratego: A case study in the generation of program transformation systems","author":"P. Johann","year":"2000","unstructured":"P. Johann and E. Visser, Warm fusion in Stratego: A case study in the generation of program transformation systems, Technical report, Institute of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands (2000)."},{"doi-asserted-by":"crossref","unstructured":"J. Launchbury and T. Sheard, Warm fusion: Deriving build-catas from recursive definitions, in: Functional Programming Languages and Computer Architecture (FPCA'95), ed. S.L. Peyton Jones (ACM Press, 1995) pp. 314-323.","key":"317331_CR14","DOI":"10.1145\/224164.224223"},{"key":"317331_CR15","volume-title":"2nd International Workshop on the Theory and Practice of Algebraic Specifications","author":"B. Luttik","year":"1997","unstructured":"B. Luttik and E. Visser, Specification of rewriting strategies, in: 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97), ed. M.P.A. Sellink, ElectronicWorkshops in Computing, Berlin, November 1997 (Springer, Berlin, 1997)."},{"key":"317331_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/3-540-51305-1_20","volume-title":"Mathematics of Program Construction","author":"G. Malcolm","year":"1989","unstructured":"G. Malcolm, Homomorphisms and promotability, in: Mathematics of Program Construction, Lecture Notes in Computer Science, Vol. 375 (Springer, Berlin, 1989) pp. 335-347."},{"key":"317331_CR17","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0167-6423(90)90023-7","volume":"14","author":"G.J. Malcolm","year":"1990","unstructured":"G.J. Malcolm, Data structures and program transformation, Sci. Comput. Programming 14 (1990) 255-279.","journal-title":"Sci. Comput. Programming"},{"key":"317331_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3540543961_7","volume-title":"Functional Programming and Computer Architecture","author":"E. Meijer","year":"1991","unstructured":"E. Meijer, M. Fokkinga and R. Paterson, Functional programming with bananas, lenses, envelopes and barbed wire, in: Functional Programming and Computer Architecture (FPCA'91), ed. R.J.M. Hughes, Lecture Notes in Computer Science, Vol. 523 (Springer, Berlin, 1991) pp. 124-144."},{"unstructured":"L. N\u00e9meth, Catamorphism based program transformation for non-strict functional langauges, Draft, Ph.D. thesis, University of Glasgow (2000).","key":"317331_CR19"},{"key":"317331_CR20","first-page":"195","volume-title":"Functional Programming","author":"W. Partain","year":"1992","unstructured":"W. Partain, The nofib benchmark suite of Haskell programs, in: Functional Programming, eds. J. Launchbury and P.M. Sansom (Springer, Berlin, 1992) pp. 195-202."},{"unstructured":"S. Peyton Jones, J. Hughes et al., Report of the programming language Haskell98 a non-strict, purely functional language (February 1999).","key":"317331_CR21"},{"key":"317331_CR22","first-page":"636","volume-title":"Functional Programming and Computer Architecture","author":"S.L. Peyton Jones","year":"1991","unstructured":"S.L. Peyton Jones and J. Launchbury, Unboxed values as first class citizens in a non-strict functional language, in: Functional Programming and Computer Architecture (FPCA'91), ed. R.J.M. Hughes, Lecture Notes in Computer Science, Vol. 523 (Springer, Berlin, 1991) pp. 636-666."},{"issue":"1-3","key":"317331_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-6423(97)00029-4","volume":"32","author":"S.L. Peyton Jones","year":"1998","unstructured":"S.L. Peyton Jones and A.L.M. Santos, A transformation-based optimiser for Haskell, Sci. Comput. Programming 32(1-3) (1998) 3-47.","journal-title":"Sci. Comput. Programming"},{"doi-asserted-by":"crossref","unstructured":"T. Sheard and L. Fegaras, A fold for all seasons, in: Functional Programming and Computer Architecture (FPCA'93), ed. Arvind, Copenhagen, Denmark (ACM Press, 1993) pp. 233-242.","key":"317331_CR24","DOI":"10.1145\/165180.165216"},{"doi-asserted-by":"crossref","unstructured":"A. Takano and E. Meijer, Shortcut deforestation in calculational form, in: Functional Programming and Computer Architecture (FPCA'95), ed. S.L. Peyton-Jones, San Diego, CA (June 1995).","key":"317331_CR25","DOI":"10.1145\/224164.224221"},{"issue":"4","key":"317331_CR26","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1017\/S0956796898003086","volume":"8","author":"A. Tolmach","year":"1998","unstructured":"A. Tolmach and D. Oliva, From ML to Ada: Strongly-typed language interoperability via source translation, J. Funct. Programming 8(4) (1998) 367-412.","journal-title":"J. Funct. Programming"},{"issue":"3","key":"317331_CR27","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/5956.5957","volume":"8","author":"V. Turchin","year":"1986","unstructured":"V. Turchin, The concept of a supercompiler, ACM Trans. Programming Languages Syst. 8(3) (1986) 292-326.","journal-title":"ACM Trans. Programming Languages Syst."},{"key":"317331_CR28","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1002\/(SICI)1097-024X(200003)30:3<259::AID-SPE298>3.0.CO;2-Y","volume":"30","author":"M.G.J. van den Brand","year":"2000","unstructured":"M.G.J. van den Brand, H.A. de Jong, P. Klint and P.A. Olivier, Efficient annotated terms, Software Practice Exper. 30 (2000) 259-291.","journal-title":"Software Practice Exper."},{"issue":"1","key":"317331_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/226155.226156","volume":"5","author":"M.G.J. van den Brand","year":"1996","unstructured":"M.G.J. van den Brand and E. Visser, Generation of formatters for context-free languages, ACMTrans. Software Engrg. Methodol. 5(1) (1996) 1-41.","journal-title":"ACMTrans. Software Engrg. Methodol."},{"unstructured":"E. Visser, Syntax definition for language prototyping, Ph.D. thesis, University of Amsterdam (September 1997).","key":"317331_CR30"},{"key":"317331_CR31","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/3-540-48685-2_3","volume-title":"Rewriting Techniques and Applications","author":"E. Visser","year":"1999","unstructured":"E. Visser, Strategic pattern matching, in: Rewriting Techniques and Applications (RTA'99), eds. P. Narendran and M. Rusinowitch, Lecture Notes in Computer Science, Vol. 1631, Trento, Italy, July 1999 (Springer, Berlin, 1999) pp. 30-44."},{"key":"317331_CR32","volume-title":"The Stratego Library","author":"E. Visser","year":"1999","unstructured":"E. Visser, The Stratego Library, Institute of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands (1999)."},{"unstructured":"E. Visser, Language independent traversals for program transformation, in: Workshop on Generic Programming (WGP2000), ed. J. Jeuring, Ponte de Lima, Portugal, July 6 (2000); also: Technical Report UU-CS-2000-19, Universiteit Utrecht.","key":"317331_CR33"},{"doi-asserted-by":"crossref","unstructured":"E. Visser and Zine-el-Abidine Benaissa, A core language for rewriting, in: Proceedings of the Second International Workshop on Rewriting Logic and its Applications (WRLA'98), eds. C. Kirchner and H. Kirchner, Electronic Notes in Theoretical Computer Science, Vol. 15 (1998).","key":"317331_CR34","DOI":"10.1016\/S1571-0661(05)80027-1"},{"issue":"1","key":"317331_CR35","first-page":"13","volume":"34","author":"E. Visser","year":"1999","unstructured":"E. Visser, Zine-el-Abidine Benaissa and A. Tolmach, Building program optimizers with rewriting strategies, ACM SIGPLAN Notices 34(1) (1999) 13-26, Proceedings of the International Conference on Functional Programming (ICFP'98).","journal-title":"Proceedings of the International Conference on Functional Programming"},{"key":"317331_CR36","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0304-3975(90)90147-A","volume":"73","author":"P. Wadler","year":"1990","unstructured":"P. Wadler, Deforestation: Transforming programs to eliminate trees, Theor. Comput. Sci. 73 (1990) 231-248.","journal-title":"Theor. Comput. Sci."},{"unstructured":"www.stratego-language.org.","key":"317331_CR37"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018956702672.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018956702672\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018956702672.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:31:54Z","timestamp":1747546314000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018956702672"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,2]]},"references-count":37,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2000,2]]}},"alternative-id":["317331"],"URL":"https:\/\/doi.org\/10.1023\/a:1018956702672","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2000,2]]}}}