The substitution vanishes (2006)

Cached

Download Links

by Armin Kühnemann , Andreas Maletti
Venue:In Algebraic Methodology and Software Technology, Proceedings, volume 4019 of LNCS
Citations:2 - 0 self

Active Bibliography

13 Relating Accumulative and Non-Accumulative Functional Programs – Armin Kühnemann, Robert Glück, Kazuhiko Kakehi - 2001
20 Composition of functions with accumulating parameters – Janis Voigtländer, Armin Kühnemann - 2004
2 Deaccumulation Techniques for Improving Provability ∗ – Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
Tree Transducers and Their Applications to XML – Sebastian Maneth
3 Deaccumulation — Improving Provability – Jürgen Giesl, Armin Kühnemann, Janis Voigtländer - 2003
Efficient Call-by-value Evaluation Strategy of Primitive Recursive Program Schemes – Andrea Mößle, Heiko Vogler, Tu Dresden, Fakultat Informatik, Lehrstuhl Grundlagen Der Programmierung - 1995
25 Concatenate, Reverse and Map Vanish For Free – Janis Voigtländer - 2002
6 Formal Efficiency Analysis for Tree Transducer Composition – Janis Voigtländer - 2004
7 Output String Languages of Compositions of Deterministic Macro Tree Transducers – Joost Engelfriet, Sebastian Maneth - 2001
7 The Equivalence of Bottom-Up and Top-Down Tree-to-Graph Transducers – Joost Engelfriet, Heiko Vogler - 1996
37 A comparison of pebble tree transducers with macro tree transducers – Joost Engelfriet, Sebastian Maneth - 2003
4 Models of Tree Translation – Sebastian Maneth
6 Conditions for Efficiency Improvement by Tree Transducer Composition (Slides) – Janis Voigtländer - 2002
Efficient Call-by-value Evaluation of Primitive Recursive Program Schemes – Andrea Mößle, Heiko Vogler
18 Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers – Armin Kühnemann - 1999
5 Tree Transducer Composition as Deforestation Method for Functional Programs – Armin Kühnemann, Janis Voigtländer - 2001
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
On Deforesting Parameters of Accumulating Maps (Extended Abstract) – Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura - 2001