Declarative Program Transformation: a Deforestation case-study (1999)

Cached

Download Links

by Loïc Correnson , Etienne Duris , Didier Parigot , Gilles Roussel
Citations:15 - 2 self

Active Bibliography

7 Symbolic Composition – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1998
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
4 Attribute Grammars and Functional Programming Deforestation – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel, Le Chesnay Cedex, Gilles Roussel Is Also - 1997
9 Attribute Grammars and Folds: Generic Control Operators – Etienne Duris, Didier Parigot, Gilles Roussel, Martin Jourdan - 1996
3 Equational Semantics – Loïc Correnson, Inria Rocquencourt - 1999
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
12 Constraints to Stop Higher-Order Deforestation – H. Seidl, M.H. Sørensen - 1997
Composition Symbolique – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1997
1 Generic Programming by Program Composition – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1998
2 Towards a Modular Program Derivation via Fusion and Tupling – Wei-Ngan Chin, Zhenjiang Hu - 2002
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
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
2 Deforesting in Accumulating Parameters via Type-Directed Transformations – Susumu Nishimura - 2002
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
21 Two for the Price of One: Composing Partial Evaluation and Compilation – Michael Sperber, Peter Thiemann - 1997
5 Structure-directed Genericity in Functional Programming and Attribute Grammars – Etienne Duris, Etienne Duris, Didier Parigot, Didier Parigot, Gilles Roussel, Gilles Roussel, Martin Jourdan, Martin Jourdan - 1997
4 Program Transformation in Calculational Form – Akihiko Takano, Zhenjiang Hu, Masato Takeichi - 1998
5 On Deforesting Parameters of Accumulating Maps – Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura - 2002