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.