Combining region inference and garbage collection

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2002, Pages 141-152

  Hallenberg, Niels ^a   Elsman, Martin ^a   Tofte, Mads ^a  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

Garbage collection; Region inference; Standard ML

Indexed keywords

ALGORITHMS; INFERENCE ENGINES; PROGRAM COMPILERS; SGML;

AUTOMATIC HEAP MANAGEMENT;

STORAGE ALLOCATION (COMPUTER);

EID: 0036037921     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/512529.512547     Document Type: Conference Paper

References (23)

1. Better static memory management: Improving region-based analysis of higher-order languages
2. From region inference to von Neumann machines via region representation inference
3. Escape analysis: Correctness proof, implementation and experimental results
4. A non-recursive list compacting algorithm
5. Polymorphic equality - No tags required
6. Static interpretation of modules
7. Memory management with explicit regions
8. Language support for regions
9. Region-based memory management in cyclone
10. A real-time garbage collector based on the lifetimes of objects
11. A region inference algorithm
12. Implementing the call-by-value lambda-calculus using a stack of regions
13. Region-based memory management
14. Type-preserving garbage collection
15. Uniprocessor garbage collection techniques