{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:27:19Z","timestamp":1761596839616},"reference-count":18,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4258,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,12]]},"DOI":"10.1016\/s1571-0661(04)00271-3","type":"journal-article","created":{"date-parts":[[2004,2,5]],"date-time":"2004-02-05T10:34:35Z","timestamp":1075977275000},"page":"144-162","source":"Crossref","is-referenced-by-count":4,"special_numbering":"C","title":["Fusing Logic and Control with Local Transformations"],"prefix":"10.1016","volume":"57","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":"78","reference":[{"key":"10.1016\/S1571-0661(04)00271-3_NEWBIB1","series-title":"Compiling with Continuations","author":"Appel","year":"1992"},{"issue":"4","key":"10.1016\/S1571-0661(04)00271-3_NEWBIB2","doi-asserted-by":"crossref","DOI":"10.1155\/2000\/494281","article-title":"An algebraic programming style for numerical software and its optimization","volume":"8","author":"Dinesh","year":"2001","journal-title":"Scientific Programming"},{"issue":"1","key":"10.1016\/S1571-0661(04)00271-3_NEWBIB3","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/114005.102805","article-title":"Compilation of functional languages by program transformation","volume":"13","author":"Fradet","year":"1991","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"10.1016\/S1571-0661(04)00271-3_NEWBIB4","first-page":"241","article-title":"Formal software engineering for computational modeling","volume":"6","author":"Haveraaen","year":"1999","journal-title":"Nordic Journal of Computing"},{"key":"10.1016\/S1571-0661(04)00271-3_NEWBIB5","doi-asserted-by":"crossref","unstructured":"P. Johann. Short cut fusion: Proved and improved. In W. Taha, editor, Semantics, Applications, and Implementation of Program Generation (SAIG'01), volume 2196 of Lecture Notes in Computer Science, pages 47\u201371, Florence, Italy, 2001. Springer-Verlag. 6","DOI":"10.1007\/3-540-44806-3_4"},{"issue":"1\u20134","key":"10.1016\/S1571-0661(04)00271-3_NEWBIB6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1018956702672","article-title":"Warm fusion in Stratego: A case study in the generation of program transformation systems","volume":"29","author":"Johann","year":"2000","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1571-0661(04)00271-3_NEWBIB7","series-title":"Partial Evaluation and Automatic Program Generation","author":"Jones","year":"1993"},{"key":"10.1016\/S1571-0661(04)00271-3_NEWBIB8","doi-asserted-by":"crossref","unstructured":"R. Kelsey and P. Hudak. Realistic compilation by program transformation. In ACM Conference on Principles of Programming Languages, pages 281\u2013292, January 1989. 6","DOI":"10.1145\/75277.75302"},{"key":"10.1016\/S1571-0661(04)00271-3_NEWBIB9","doi-asserted-by":"crossref","unstructured":"R. A. Kelsey. Compilation by Program Transformation. PhD thesis, Yale University, May 1989. 6","DOI":"10.1145\/75277.75302"},{"key":"10.1016\/S1571-0661(04)00271-3_NEWBIB10","unstructured":"J. Kort, R. L\u00e4mmel, and J. Visser. Functional Transformation Systems. In Proceedings of the 9th International Workshop on Functional and Logic Programming, Benicassim, Spain, July 2000. 6"},{"key":"10.1016\/S1571-0661(04)00271-3_NEWBIB11","series-title":"Functional Programming Languages and Computer Architecture (FPCA '95)","first-page":"314","article-title":"Warm fusion: Deriving build-catas from recursive definitions","author":"Launchbury","year":"1995"},{"key":"10.1016\/S1571-0661(04)00271-3_NEWBIB12","series-title":"Advanced Compiler Design and Implementation","author":"Muchnick","year":"1997"},{"key":"10.1016\/S1571-0661(04)00271-3_NEWBIB13","unstructured":"S. L. Peyton Jones, C. Hall, K. Hammond, W. Partain, and P. Wadler. The Glasgow Haskell Compiler: a techical overview. In UK Joint Framework for Information Technology (JFIT) Technical Conference, March 1993. 6"},{"issue":"1\u20133","key":"10.1016\/S1571-0661(04)00271-3_NEWBIB14","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0167-6423(97)00029-4","article-title":"A transformation-based optimiser for Haskell","volume":"32","author":"Peyton Jones","year":"1998","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(04)00271-3_NEWBIB15","doi-asserted-by":"crossref","unstructured":"E. Visser. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In A. Middeldorp, editor, Rewriting Techniques and Applications (RTA '01), volume 2051 of Lecture Notes in Computer Science, pages 357\u2013361. Springer-Verlag, May 2001. 1","DOI":"10.1007\/3-540-45127-7_27"},{"key":"10.1016\/S1571-0661(04)00271-3_NEWBIB16","doi-asserted-by":"crossref","unstructured":"E. Visser, Z.-e.-A. Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. ACM SIGPLAN Notices, 34(1):13\u201326, January 1999. Proceedings of the International Conference on Functional Programming (ICFP'98). 1, 2, 6","DOI":"10.1145\/291251.289425"},{"key":"10.1016\/S1571-0661(04)00271-3_NEWBIB17","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0304-3975(90)90147-A","article-title":"Deforestation: Transforming programs to eliminate trees","volume":"73","author":"Wadler","year":"1990","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00271-3_NEWBIB18","doi-asserted-by":"crossref","unstructured":"H. I. Y. Onoue, Z. Hu and M. Takeichi. A calculational fusion system HYLO. In IFIP TC 2 Working Conference on Algorithmic Languages and Calculi, pages 76\u2013106. Chapman and Hall, February 1997. 6","DOI":"10.1007\/978-0-387-35264-0_4"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104002713?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104002713?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T12:28:50Z","timestamp":1585571330000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104002713"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12]]},"references-count":18,"alternative-id":["S1571066104002713"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00271-3","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,12]]}}}