Fusing Logic and Control with Local Transformations: An Example Optimization (2001)

by Patricia Johann , Eelco Visser
Venue:Workshop on Reduction Strategies in Rewriting and Programming (WRS’01), volume 57 of Electronic Notes in Theoretical Computer Science
Citations:10 - 7 self

Active Bibliography

4 Strategies for Fusing Logic and Control via Local, Application-Specific Transformations – Patricia Johann, Patricia Johann, Patricia Johann, Eelco Visser, Eelco Visser, Eelco Visser - 2003
22 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
18 Scoped Dynamic Rewrite Rules – Eelco Visser - 2001
4 Program Transformation in Calculational Form – Akihiko Takano, Zhenjiang Hu, Masato Takeichi - 1998
29 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
20 Two for the Price of One: Composing Partial Evaluation and Compilation – Michael Sperber, Peter Thiemann - 1997
7 Continuations and transducer composition – Olin Shivers - 2006
A C++ Transformation Framework – Otto Skrove Bagge, Magne Haveraaen, Eelco Visser - 2000
16 CodeBoost: A framework for the transformation of C++ programs – Otto Skrove Bagge, Magne Haveraaen, Eelco Visser - 2001
Strategies in Automated Deduction (STRATEGIES'99) – Bernhard Gramlich, Hélène Kirchner, Frank Pfenning (eds.) - 1999
2 The Stratego Compiler – Eelco Visser - 1999
29 Generic Program Transformation – Oege De Moor, Ganesh Sittampalam - 1998
Deterministic Second-order Patterns in Program Transformation – Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi - 2003
3 Domain-Specific Optimisation with User-defined Rules in CodeBoost – Otto Skrove Bagge, Magne Haveraaen - 2003
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
3 Equational Semantics – Loïc Correnson, Inria Rocquencourt - 1999
7 Symbolic Composition – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1998
26 CPS Transformation after Strictness Analysis – Olivier Danvy, John Hatcliff, Cv Ffi S - 1993