Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages

ACM SIGPLAN Notices

Volumn 30, Issue 6, 1995, Pages 174-185

  Aiken, Alexander ^a   Fähndrich, Manuel ^a   Levier, Raph ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976829448     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/223428.207137     Document Type: Article

References (15)

1. [AFL95] Alexander Aiken, Manuel Fahndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages. Technical Report CSD-95-866, UC Berkeley, April 1995.
2. [App92] Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992.
3. [Deu90] Alain Deutsch. On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications. In Proc. of the 17th Annual ACM Symposium on Principles of Programming Languages, pages 157–168, January 1990.
4. [DLM+78] Edsger W. Dijkstra, Leslie Lamport, A.J. Martin, C.S. Scholten, and E.F.M. Steffens. On-the-fly garbage collection: An exercise in cooperation. Communications of the ACM, 21(ll):966-975, November 1978.
5. [Hen92] Fritz Henglein. Global tagging optimization by type inference. In Proc. of the 1992 ACM Conference on Lisp and Functional Programming, pages 205–215, July 1992.
6. [HJ90] Geoff W. Hamilton and Simon B. Jones. Compile-time garbage collection by necessity analysis. In Proc. of the 1990 Glasgow Workshop on Functional Programming, pages 66–70, August 1990.
7. [MTH90] Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990.
8. [N093] Scott Nettles and James O'Toole. Real-time replication garbage collection. In Proc. S1GPLAN'93 Conference on Programming Language Design and Implementation, pages 217–226, June 1993.
9. [PS92] Jens Palsberg and Michael I. Schwartzbach. Safety analysis versus type inference. Information Processing Letters, 43(4): 175–180, September 1992.
10. [RM88] Cristina Ruggieri and Thomas P. Murtagh. Lifetime analysis of dynamically allocated objects. In Proc. of the 15th Annual ACM Symposium on Principles of Programming Languages, pages 285–293, January 1988.
11. [Ses92] Peter Sestoft. Analysis and Efficient Implementation of Functional Programs. PhD dissertation, University of Copenhagen, Department of Computer Science, 1992.
12. [Shi88] Olin Shivers. Control flow analysis in Scheme. In Proc. SIGPLAN'88 Conference on Programming Language Design and Implementation, pages 164–174, June 1988.
13. [Tof94] Mads Tofte. Storage mode analysis. Personal communication, October 1994.
14. [TT93] Mads Tofte and Jean-Pierre Talpin. A theory of stack allocation in polymorphically typed languages. Technical Report 93/15, Department of Computer Science, University of Copenhagen, July 1993.
15. [TT94] Mads Tofte and Jean-Pierre Talpin. Implementation of the typed call-by-value A-calculus using a stack of regions. In Proc. of the 21st Annual ACM Symposium on Principles of Programming Languages, pages 188–201, January 1994.