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

109 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
399 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
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
24 A Core Language for Rewriting – Eelco Visser, Zine-el-abidine Benaissa - 1998
18 An Algebraic Programming Style for Numerical Software and Its Optimization – T.B. Dinesh, Magne Haveraaen, Jan Heering - 1998
131 Modern Compiler Implementation in ML – Andrew w Appel - 1998
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
132 Stratego: A Language for Program Transformation based on Rewriting Strategies - System Description of Stratego 0.5 – Eelco Visser - 2001
42 Controlling Rewriting by Rewriting – Peter Borovansk'y, Claude Kirchner
112 Syntax Definition for Language Prototyping – Eelco Visser - 1997
112 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
40 XT: a bundle of program transformation tools – Merijn De Jonge, Eelco Visser, Joost Visser - 2001
4 Tiger in Stratego: An exercise in compilation by transformation. http: //www.stratego-language.org/tiger – E Visser - 2000
5 et al. The online survey of program transformation. http://www. program-transformation.org/survey.html – E Visser
73 editors. Language Prototyping: An Algebraic Specification Approach – A van Deursen, J Heering, P Klint
25 Type Inference Builds a Short Cut to Deforestation – Olaf Chitil - 1999
98 Efficient annotated terms – M. G. J. van den Brand, Hayco De Jong, Paul Klint, Pieter Olivier - 2000