An Extension of Shortcut Deforestation for Accumulative List Folding (0)

by K Kakehi, R Glück, Y Futamura
Venue:IEICE Transactions on Information and Systems
Add To MetaCart
Results 1 - 1 of 1

On Deforesting Parameters of Accumulating Maps

by Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura - In Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, volume 2372 of LNCS , 2002
"... 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. ..."
Abstract - Cited by 5 (0 self) - Add to MetaCart
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.