R. Gluck, J. Jørgensen. Generating Transformers for Deforestation and Driving. B. Le Charlier (ed.), Static Analysis. LNCS 864, 432-448, Springer-Vlg 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
An Algorithm of Generalization in Positive Supercompilation - Sørensen, Glück (1995) (1 citation) (Correct)
....in the previous section, the ones dealing with partial deduction address local termination, and so do not generally ensure termination. The present work belongs to a line of work which aims at a better understanding of supercompilation and its relation to other program transformations; e.g. [6, 7, 8, 10, 18, 19, 15]. Acknowledgements The authors are indebted to V.F. Turchin for sharing with us his many insights and to B. Martens for helpful discussions. Thanks to M. Alpuente for insightful comments on a previous draft, to the anonymous referees for constructive feedback, and to the TOPPS group at DIKU for ....
R. Gluck, J. Jørgensen. Generating Transformers for Deforestation and Driving. B. Le Charlier (ed.), Static Analysis. LNCS 864, 432-448, Springer-Vlg 1994.
Call-By-Name CPS-Translation as a Binding-Time Improvement - Nielsen, Sørensen (1995) (7 citations) (Correct)
....wsg (y : ys) y : f ys vs ws g z zs ws 4 = z : zs f[ ws; y : ys) y : g ys wsg) Fig. 20. Improved double append in CBN CPS and DS 9 Related Work Our paper is a step in the current efforts at DIKU to better understand the relationship between different transformation techniques [Sor94, Glu94, Glu94a, Jon94]. Such efforts facilitate exchange of ideas between different techniques. Our results are related to previous work on partial evaluation and the CBV CPS translation. In [Con91, Dan91] it was explained how CBV CPS can improve the specialization of programs by allowing static information to ....
....of a program achieves the same effect as plain partial evaluation of the CBV CPS translated program. This paper explains the analogous situation for the CBN CPS translation; CBN CPS is to deforestation as CBV CPS is to CPSspecialization. Another approach is due to Gluck and J rgensen [Glu94]. They start out with a CBN interpreter with context distribution rules and show that specializing the interpreter to some programs yield the same results as applying deforestation directly to the programs. One of the points of this paper is that the CBN CPS translation can replace the use of ....
R. Gluck, J. Jørgensen. Generating Transformers for Deforestation and Driving. In Static Analysis Symposium, Namur, Belgium. LNCS vol 864, 1994.
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