Strategies for Fusing Logic and Control via Local, Application-Specific Transformations (2003)

by Patricia Johann , Patricia Johann , Patricia Johann , Eelco Visser , Eelco Visser , Eelco Visser
Citations:5 - 1 self

Active Bibliography

12 Fusing Logic and Control with Local Transformations: An Example Optimization – Patricia Johann, Eelco Visser - 2001
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
3 Domain-Specific Optimisation with User-defined Rules in CodeBoost – Otto Skrove Bagge, Magne Haveraaen - 2003
18 Scoped Dynamic Rewrite Rules – Eelco Visser - 2001
Exploiting algebra/coalgebra duality for program fusion extensions – Facundo Domínguez, Alberto Pardo - 2011
43 Stream Fusion. From Lists to Streams to Nothing at All – Duncan Coutts, Roman Leshchinskiy, Don Stewart - 2007
Deterministic Second-order Patterns in Program Transformation – Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi - 2003
1 Calculation Rules for Warming-up in Fusion Transformation – Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
4 Attribute Grammars and Functional Programming Deforestation – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel, Le Chesnay Cedex, Gilles Roussel Is Also - 1997
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
Exploiting Vector Instructions with Generalized Stream Fusion Geoffrey Mainland – Cambridge England, Roman Leshchinskiy, Simon Peyton Jones
14 Rewriting Haskell Strings – Duncan Coutts, Don Stewart, Roman Leshchinskiy - 2007
4 Program Transformation in Calculational Form – Akihiko Takano, Zhenjiang Hu, Masato Takeichi - 1998
32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
21 Two for the Price of One: Composing Partial Evaluation and Compilation – Michael Sperber, Peter Thiemann - 1997
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
33 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
13 The Impact of seq on Free Theorems-Based Program Transformations – Patricia Johann, Janis Voigtländer - 2006