Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura  Home/Search
Context
Related
| iasi.rm.cnr.it/~adp/lops...kakehi.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: iasi.rm.cnr.it/~ad...lopstr01_cfp (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Deforestation is a well-known program transformation technique which eliminates intermediate data structures that are passed between functions. One of its weaknesses is the inability to deforest programs using accumulating parameters. We show how intermediate lists built by a selected class of functional programs, namely `accumulating maps', can be deforested using a single composition rule. For this we introduce a new function dmap, a symmetric extension of the familiar function map. While the ... (Update)
Similar documents (at the sentence level):
40.3%: On Deforesting Parameters of Accumulating Maps - Kakehi, Glück, Futamura (2002) (Correct)
Active bibliography (related documents): More All
0.7: Annual Report 2000: Foundations of Programming - Vogler (2000) (Correct)
0.5: Relating Accumulative and Non-Accumulative Functional Programs - Kühnemann, Glück, Kakeh (Correct)
0.5: Tree Transducer Composition as Deforestation Method for.. - Kühnemann, Voigtländer (2001) (Correct)
Similar documents based on text: More All
0.4: Data Structure for Solving Programming Problems.. - Futamura, Shirai, .. (Correct)
0.4: Program Transformation System Based on Generalized Partial.. - Futamura, Konishi (2002) (Correct)
0.4: WSDFU: Program Transformation System Based on.. - Zenjirokonishi.. (Correct)
BibTeX entry: (Update)
@misc{ kakehi-deforesting,
author = "Kazuhiko Kakehi and Robert Gl{\"u}ck and Yoshihiko Futamura",
title = "On Deforesting Parameters of Accumulating Maps (Extended Abstract)",
url = "citeseer.ist.psu.edu/kakehi01deforesting.html" }
Citations (may not include all citations):385 A transformation system for developing recursive programs - Burstall, Darlington - 1977
324 Deforestation: transforming programs to eliminate trees - Wadler - 1990
161 A short cut to deforestation - Gill, Launchbury et al. - 1993
66 Attribute grammars as a functional programming paradigm - Johnsson - 1987
57 The concept of a supercompiler (context) - Turchin - 1986
55 Composition and evaluation of attribute coupled grammars (context) - Giegerich - 1988
45 Warm fusion: Deriving build-catas from recursive denitions - Launchbury, Sheard - 1995
44 Total correctness by local improvement in the transformation.. - Sands - 1996
28 Safe fusion of functional expressions II: Further improvemen.. (context) - Chin - 1994
17 Increasing modularity and language-independency in automatic.. (context) - Ganzinger - 1983
14 Declarative program transformation: A deforestation case-stu.. - Correnson, Duris et al. - 1999
13 Type inference builds a short cut to deforestation - Chitil - 1999
10 Syntax-directed semantics: Formal models based on tree trans.. (context) - ul, Vogler - 1998
10 On attributed tree transducers (context) - ul - 1981
10 The concatenate vanishes - Wadler - 1987
7 Benets of tree transducers for optimizing functional program.. (context) - uhnemann - 1998
7 Comparison of deforestation techniques for functional progra.. (context) - uhnemann - 1999
7 An approach for exploring code-improving transformations (context) - Whiteld, So - 1997
5 arken von Teilklassen primitiv-rekursiver Programmschemata (context) - uhnemann - 1997
2 Calculating accumulations - Hu, Iwasaki et al. - 1999
1 Relating accumulative and nonaccumulative functional program.. (context) - uhnemann, Gl et al.
Documents on the same site (http://www.iasi.rm.cnr.it/~adp/lopstr01_cfp.html): More
A Transformation Technique for Datalog Programs.. - Potikas.. (Correct)
The Principles of a Toolbox for the Implementation of.. - Ferré, Ridoux (Correct)
Transforming a Proof System into Prolog for Verifying.. - Delzanno, Etalle (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