Composition of functions with accumulating parameters

Authors: J. Voigtländer and A. Kühnemann
Published: Journal of Functional Programming, volume 14(3), pages 317-363, Cambridge University Press, 2004.
DOI: 10.1017/S0956796803004933
BibTeX: VK04.bib
Abstract: Many functional programs with accumulating parameters are contained in the class of 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. To do so, given two macro tree transducers under appropriate restrictions, we construct a single macro tree transducer that implements the composition of the two original ones. The imposed restrictions are more liberal than those in the literature on macro tree transducer composition, thus generalising previous results.
Download: CompositionOfFunctionsWithAccumulatingParameters.pdf
Rights: Copyright held by Cambridge University Press.

The proof appendix is available online.