A. Pettorossi. Improving memory utilization in transforming recursive programs. In J. Winkowski, editor, Proceedings of MFCS 1978, pages 416-425, Berlin, Germany, 1978. Springer-Verlag. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Static Analysis for Safe Destructive Updates in a Functional.. - Shankar (2001) (1 citation) (Correct)
....on the terms as is the case with eager evaluation. Goyal and Paige [GP98] carry out a copy optimization that works together with reference counting to reduce the need for copying data structures in the set based language SETL. The destructive evaluation of recursive programs studied by Pettorossi [Pet78] and Schwarz [Sch82] employs annotations to construct an intermediate form that explicitly reclaims storage cells during evaluation. This is a slightly di erent problem from that of destructive array updates, but their annotations are obtained through a similar live variable analysis. In ....
A. Pettorossi. Improving memory utilization in transforming recursive programs. In J. Winkowski, editor, Proceedings of MFCS 1978, pages 416-425, Berlin, Germany, 1978. Springer-Verlag.
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