Janis Voigtländer, Armin Kühnemann  Home/Search
Context Related
| orchid.inf.tudresden....tud0108.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: orchid.inf.tudresd...publikation (more) Homepages: J.Voigtlander A.Kuhnemann |
Rate this article:      (best)Comment on this article |
Abstract: A class of recursive functions with accumulating parameters can be modeled by macro tree transducers. We present a program transformation technique that can be used to solve the efficiency problems due to creation and consumption of intermediate data structures in compositions of such functions, where classical deforestation techniques fail. In order to do so, we construct for two given macro tree transducers, under appropriate restrictions, a single macro tree transducer that implements the... (Update)
Context of citations to this paper: More
...reasons. If we want to fuse such functions to remove intermediate lists we currently have to use rather sophisticated methods [CDPR99, VK01]. In this section we show how destroy unfoldr fusion can achieve this elegantly in some cases. Again we note that even though we only...
Cited by: More
Conditions for Efficiency Improvement by Tree Transducer.. - Voigtländer (2002) (Correct)
Deaccumulation - Improving Provability - Giesl, Kühnemann, Voigtländer (2003) (Correct)
Formal Efficiency Analysis for Tree Transducer Composition - Voigtländer (2004) (Correct)
Similar documents (at the sentence level):
33.8%: Composition of restricted Macro Tree Transducers - Voigtländer (2001) (Correct)
7.0%: Composition of Functions with Accumulating Parameters - Voigtländer, Kühnemann (2004) (Correct)
Active bibliography (related documents): More All
2.3: Tree Transducer Composition as Deforestation Method for.. - Kühnemann, Voigtländer (2001) (Correct)
0.9: Tree transducer based program transformations for.. - Höff, Vater, Maletti.. (2001) (Correct)
0.8: Annual Report 2000: Foundations of Programming - Vogler (2000) (Correct)
Similar documents based on text: More All
1.4: Conditions for Efficiency Improvement by Tree Transducer.. - Voigtländer (2002) (Correct)
0.8: Using Circular Programs to Deforest in Accumulating Parameters - Voigtländer (2002) (Correct)
0.7: Comparison of Deforestation Techniques for Functional Programs.. - Kühnemann (Correct)
Related documents from co-citation: More All
4: A transformation system for developing recursive programs - Burstall, Darlington - 1977
4: Using circular programs to deforest in accumulating parameters (context) - Voigtlander - 2002
3: Benefits of tree transducers for optimizing functional programs (context) - Kuhnemann - 1998
BibTeX entry: (Update)
J. Voigtlander and A. Kuhnemann. Composition of functions with accumulating parameters. Technical Report TUD-FI01-08, Dresden University of Technology, Germany, 2001. http://citeseer.ist.psu.edu/voigtlander01composition.html More
@techreport{ voikue01,
AUTHOR = {J. Voigtl{\"a}nder and A. K{\"u}hnemann},
TITLE = {Composition of Functions with Accumulating Parameters},
INSTITUTION = {Dresden University of Technology},
NUMBER = {TUD-FI01-08},
YEAR = {2001},
NOTE = {Revised version appeared in {\it Journal of Functional Programming}, volume 14(3), pages 317-363, 2004.},
url = {citeseer.ist.psu.edu/voigtlander01composition.html} }
Citations (may not include all citations):210 Functional programming with bananas (context) - Meijer, Fokkinga et al. - 1991
131 A fold for all seasons - Sheard, Fegaras - 1993
57 The concept of a supercompiler (context) - Turchin - 1986
41 Homomorphisms and promotability (context) - Malcolm - 1989
39 Generalized 2 sequential machine maps (context) - Thatcher - 1970
33 Mappings and grammars on trees (context) - Rounds - 1970
13 Playing by the rules: Rewriting as a practical optimisation .. - Jones, Tolmach et al. - 2001
7 Comparison of deforestation techniques for functional progra.. (context) - uhnemann - 1999
7 Benets of tree transducers for optimizing functional program.. (context) - uhnemann - 1998
5 arken von Teilklassen primitiv{rekursiver Programmschemata (context) - uhnemann - 1997
4 Synthesized and inherited functions | a new computational mo.. (context) - uhnemann, Vogler - 1994
3 On perfect supercompilation - Secher, rensen - 1999
3 Entwurf und Implementierung einer Eingabesprache fur ein Sy.. (context) - Lescher - 1999
3 A positive supercompiler - rensen, Gl et al. - 1996
3 Composition of restricted macro tree transducers (context) - Voigtl - 2001
2 Tree transducer based program transformations for Haskell (context) - Vater, Maletti et al. - 2001
2 A note on deforesting parameters of accumulating maps (context) - Kakehi, Gl et al. - 2001
2 Tree transducer composition as deforestation method for func.. - uhnemann, Voigtl - 2001
1 A formalization of hylomorphism based deforestation with an .. (context) - urgensen - 2000
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.orchid.inf.tu-dresden.de/gdp/forschung/publikation.html): More
Bottom-up and Top-down Tree Series Transformations - Fülöp, Vogler (2000) (Correct)
A Formalization of Hylomorphism Based Deforestation with an.. - Juergensen (2000) (Correct)
Description of Properties of Attributed Tree Transducers by.. - Voigtländer (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC