Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems (2000)

by Patricia Johann , Eelco Visser
Citations:23 - 13 self

Documents Related by Co-Citation

110 Building Program Optimizers with Rewriting Strategies – Eelco Visser, Zine-el-Abidine, Andrew Tolmach - 1998
72 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
42 XT: a bundle of program transformation tools – Merijn De Jonge, Eelco Visser, Joost Visser - 2001
56 Playing by the rules: rewriting as a practical optimisation technique in GHC – Simon Peyton Jones, Andrew Tolmach, Tony Hoare
34 Strategic Pattern Matching – Eelco Visser - 1999
25 A Core Language for Rewriting – Eelco Visser, Zine-el-abidine Benaissa - 1998
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
18 An Algebraic Programming Style for Numerical Software and Its Optimization – T.B. Dinesh, Magne Haveraaen, Jan Heering - 1998
134 Stratego: A Language for Program Transformation based on Rewriting Strategies - System Description of Stratego 0.5 – Eelco Visser - 2001
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
131 Modern Compiler Implementation in ML – A W Appel - 1998
43 Controlling Rewriting by Rewriting – Peter Borovansk'y, Claude Kirchner
26 Language Independent Traversals for Program Transformation – Eelco Visser - 2000
16 CodeBoost: A framework for the transformation of C++ programs – Otto Skrove Bagge, Magne Haveraaen, Eelco Visser - 2001
25 Type Inference Builds a Short Cut to Deforestation – Olaf Chitil - 1999
99 Efficient annotated terms – M. G. J. van den Brand, Hayco De Jong, Paul Klint, Pieter Olivier - 2000
215 Introduction to Functional Programming using Haskell – R Bird - 1998