Mads Tofte. Storage mode analysis. Personal communication, October 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Better Static Memory Management: Improving Region-Based.. - Aiken, Fähndrich, Levien (1995) (53 citations) (Correct)
....the storage modes are passed in as extra arguments to region polymorphic functions, as are the regions themselves. There is no published account of storage mode analysis. Our knowledge of it is based on the prototype implementation provided to us by Mads Tofte, as well as a personal communication [Tof94] As an example of the storage mode analysis, the result of the analysis applied to the countdown example of Section 2.4 is below: letregion ae 1 in letrec f[ae 2 ] x : int; ae 2 ) atbot ae 1 = if letregion ae 3 in letregion ae 4 in (x= 0 atbot ae 4 ) atbot ae 3 end end then x else ....
....into allocation deallocation operations, and removing the rest. The implementation is roughly 5,500 lines plus the roughly 8,500 lines of code in the Tofte Taplin base implementation. Our annotations are orthogonal to the storage mode analysis mentioned in [TT94] and described in more detail in [Tof94] and in Section 2.6. Thus, the target programs contain both storage mode annotations and the allocation annotations described in this paper. On the other hand, our analysis subsumes the optimization described in Appendix B of [TT94] so that optimization is disabled in our system. Summary ....
Mads Tofte. Storage mode analysis. Personal communication, October 1994.
Better Static Memory Management: Improving Region-Based.. - Aiken, al. (1995) (53 citations) (Correct)
....The constraints are solved and the solution is used to complete the source program, transforming selected choice points into allocation deallocation operations, and removing the rest. Our annotations are orthogonal to the storage mode analysis mentioned in [TT94] and described in more detail in [Tof94] Thus, the target programs contain both storage mode annotations and the allocation annotations described in this paper. On the other hand, our analysis subsumes the optimization described in Appendix B of [TT94] so that optimization is disabled in our system. Summary performance measures are ....
Mads Tofte. Storage mode analysis. Personal communication, October 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