Composition of functions with accumulating parameters Export

@article{citeulike:306048, 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.}, address = {New York, NY, USA}, author = {Voigtl\&\#228;nder, Janis and K\&\#252;hnemann, Armin}, citeulike-article-id = {306048}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=985917.985919}, citeulike-linkout-1 = {http://dx.doi.org/10.1017/S0956796803004933}, doi = {10.1017/S0956796803004933}, issn = {0956-7968}, journal = {J. Funct. Program.}, keywords = {deforestation, partialevaluation}, month = {May}, number = {3}, pages = {317--363}, posted-at = {2005-08-29 13:01:21}, priority = {2}, publisher = {Cambridge University Press}, title = {Composition of functions with accumulating parameters}, url = {http://dx.doi.org/10.1017/S0956796803004933}, volume = {14}, year = {2004} }

TY - JOUR ID - citeulike:306048 L3 - citeulike-article-id:306048 N2 - 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. IS - 3 JF - J. Funct. Program. SN - 0956-7968 AD - New York, NY, USA EP - 363 TI - Composition of functions with accumulating parameters PB - Cambridge University Press VL - 14 SP - 317 KW - deforestation KW - partialevaluation AU - Voigtl&\#228;nder, Janis AU - K&\#252;hnemann, Armin PY - 2004/05// UR - http://dx.doi.org/10.1017/S0956796803004933 ER -