A brief introduction to regions

International Symposium on Memory Management, ISMM

Volumn Part F129247, Issue , 1998, Pages 186-195

  Tofte, Mads ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC ASPECTS; MEMORY MANAGEMENT; MODE ANALYSIS; REGION-BASED; REGION-BASED MEMORY MANAGEMENT; RUNTIME SYSTEMS; STANDARD ML; STATIC PROGRAM ANALYSIS;

EID: 60749125442     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/286860.286882     Document Type: Conference Paper

References (12)

1. Lars Birkedal, Mads Tofte, and Magnus Vejlstrup. From region inference to von Neumann machines via region representation inference. In Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 171-183. ACM Press, January 1996.
2. J. M. Lucassen D. K. Gifford, P. Jouvelot and M.A. Sheldon. Fx-87 reference manual. Technical Report MIT/LCS/TR-407, MIT Laboratory for Computer Science, Sept 1987.
3. Martin Elsman and Niels Hallenberg. An optimizing backend for the ML Kit using a stack of regions. Student Project 95-7-8, Department of Computer Science, University of Copenhagen (DIKU), July 5 1995.
4. Martin Elsman. Polymorphic equality - no tags required. In Second International Workshop on Types in Compilation, March 1998.
5. P. Jouvelot and D.K. Gifford. Algebraic reconstruction of types and effects. In Proceedings of the 18th ACM Symposium on Principles of Programming Languages (POPL), 1991.
6. Peter Naur. Revised report on the algorithmic language Algol 60. Comm. ACM, 1:1-17, 1963.
7. Mads Tofte and Lars Birkedal. A region inference algorithm. Transactions on Programming Languages and Systems (TOPLAS), July 1998.
8. Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, Peter Sestoft, and Peter Bertelsen. Programming with regions in the ML Kit. Technical Report DIKU-TR-97/12, Dept. of Computer Science, University of Copenhagen, 1997. http://www.diku.dk/research-groups/topps/activities/kit2.
9. Jean-Pierre Talpin and Pierre Jouvelot. Polymorphic type, region and effect inference. Journal of Functional Programming, 2(3), 1992.
10. Mads Tofte and Jean-Pierre Talpin. Implementing the call-by-value lambda-calculus using a stack of regions. In Proceedings of the 21st ACM SIGPLAN-SIGACT Symposmm on Principles of Programming Languages, pages 188-201. ACM Press, January 1994.
11. Mads Tofte and Jean-Pierre Talpin. Region-based memory management. Information and Computation, 132(2): 109-176, 1997.
12. Paul R. Wilson. Uniprocessor garbage collection techniques. In Y. Bekkers and J. Cohen, editors, Memory Management, Proceedings, International Workshop IWMM92, pages 1-42. Springer-Verlag, September 1992.