On Deforesting Parameters of Accumulating Maps (2002)

Cached

Download Links

by Kazuhiko Kakehi , Robert Glück , Yoshihiko Futamura
Venue:In Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, volume 2372 of LNCS
Citations:5 - 0 self

Active Bibliography

On Deforesting Parameters of Accumulating Maps (Extended Abstract) – Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura - 2001
20 Composition of functions with accumulating parameters – Janis Voigtländer, Armin Kühnemann - 2004
13 Relating Accumulative and Non-Accumulative Functional Programs – Armin Kühnemann, Robert Glück, Kazuhiko Kakehi - 2001
14 Using Circular Programs to Deforest in Accumulating Parameters – Janis Voigtländer - 2002
18 Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers – Armin Kühnemann - 1999
Annual Report 1999: Foundations of Programming – Heiko Vogler, Fakultat Informatik, Fakultat Informatik - 1999
Annual Report 2000: Foundations of Programming – Heiko Vogler, Technische Universitat Dresden - 2000
2 Deforesting in Accumulating Parameters via Type-Directed Transformations – Susumu Nishimura - 2002
46 Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations – Joost Engelfriet, Sebastian Maneth - 1998
2 Tree transducer based program transformations for Haskell+ – M. Höff, R. Vater, A. Maletti, A. Kühnemann, J. Voigtländer - 2001
Annual Report 1998: Foundations of Programming – Heiko Vogler, January Heiko Vogler, Fakultat Informatik, Fakultat Informatik, Ffl Christine Honnicke - 1998
31 Benefits of Tree Transducers for Optimizing Functional Programs – Armin Kühnemann - 1998
5 Tree Transducer Composition as Deforestation Method for Functional Programs – Armin Kühnemann, Janis Voigtländer - 2001
6 Conditions for Efficiency Improvement by Tree Transducer Composition (Slides) – Janis Voigtländer - 2002
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
15 Declarative Program Transformation: a Deforestation case-study – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1999
31 Proving the Correctness of Recursion-Based Automatic Program Transformations – David Sands - 1996
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997