K. Kakehi, R. Gluck, and Y. Futamura. A note on deforesting parameters of accumulating maps. Manuscript, Waseda University, Tokyo, Japan, 2001.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....instance of attribute grammar composition is also 3 The replacement of err with e 0 rr is semantic preserving only for nite lists l. With in nite data structures and lazy evaluation, the copy rules elimination can turn non terminating programs into terminating ones. 6 Preliminaries handled in [KGF01], where a single local rule (similar to the foldr=build rule of shortcut deforestation [GLP93] is used to eliminate intermediate lists in compositions of map style list transformers. Recently, in [Voi01, VK01] a direct composition construction for subclasses of mtts is given, which generalizes ....

K. Kakehi, R. Gluck, and Y. Futamura. A note on deforesting parameters of accumulating maps. Manuscript, Waseda University, Tokyo, Japan, 2001.

....producing and consuming the intermediate result. This and related techniques of combining results from the theory of tree transducers for functional program optimization are presented in a uniform framework in [KV01] A restricted instance of attribute grammar composition is also handled in [KGF01] where a single local rule is used to eliminate intermediate lists in compositions of map style list transformers. The approach of transformation by composition of attribute grammars respectively, attributed tree transducers does not work for all macro tree transducers, because only restricted ....

K. Kakehi, R. Gluck, and Y. Futamura. A note on deforesting parameters of accumulating maps. Manuscript, Waseda University, Tokyo, Japan, 2001.

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