Attribute Grammars and Functional Programming Deforestation (1997)

Cached

Download Links

by Loïc Correnson , Etienne Duris , Didier Parigot , Gilles Roussel
Venue:IN FOURTH INTERNATIONAL STATIC ANALYSIS SYMPOSIUM -- POSTER SESSION
Citations:4 - 3 self

Active Bibliography

7 Symbolic Composition – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1998
9 Attribute Grammars and Folds: Generic Control Operators – Etienne Duris, Didier Parigot, Gilles Roussel, Martin Jourdan - 1996
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
15 Declarative Program Transformation: a Deforestation case-study – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1999
3 Equational Semantics – Loïc Correnson, Inria Rocquencourt - 1999
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
1 Generic Programming by Program Composition – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1998
Composition Symbolique – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1997
2 Deforesting in Accumulating Parameters via Type-Directed Transformations – Susumu Nishimura - 2002
4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
33 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
20 Composition of functions with accumulating parameters – Janis Voigtländer, Armin Kühnemann - 2004
41 Forwarding in attribute grammars for modular language design – Eric Van Wyk, Oege De Moor, Kevin Backhouse, Paul Kwiatkowski - 2002
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
2 A Calculational Framework for Parallelization of Sequential Programs – Zhenjiang Hu, Masato Takeichi - 1997
12 Constraints to Stop Higher-Order Deforestation – H. Seidl, M.H. Sørensen - 1997