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

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

Active Bibliography

1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
4 Program Transformation in Calculational Form – Akihiko Takano, Zhenjiang Hu, Masato Takeichi - 1998
46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
15 The Worker/Wrapper Transformation – Andy Gill, Graham Hutton - 2009
25 Improving Programs which Recurse over Multiple Inductive Structures – Leonidas Fegaras, Tim Sheard, Tong Zhou - 1994
4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
33 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
5 Strategies for Fusing Logic and Control via Local, Application-Specific Transformations – Patricia Johann, Patricia Johann, Patricia Johann, Eelco Visser, Eelco Visser, Eelco Visser - 2003
11 How to Comprehend Queries Functionally – Torsten Grust, Marc H. Scholl - 1999
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
20 Composition of functions with accumulating parameters – Janis Voigtländer, Armin Kühnemann - 2004
3 How to Deforest in Accumulative Parameters? – Loïc Correnson, How Deforest, Accumulative Parameters, Etienne Duris, Etienne Duris, Didier Parigot, Didier Parigot, Gilles Roussel, Gilles Roussel - 1999
7 Symbolic Composition – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1998
15 Declarative Program Transformation: a Deforestation case-study – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1999
3 Using the Parametricity Theorem for Program Fusion – Leonidas Fegaras - 1996
2 Transformation in HaRe – Chau Nguyen-viet, Chau Nguyen-viet - 2004
3 Towards Manipulation of Mutually Recursive Functions – Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi - 1998
12 Constraints to Stop Higher-Order Deforestation – H. Seidl, M.H. Sørensen - 1997