See this document in CiteSeerX!

Combining Region Inference and Garbage Collection (2002)  (Make Corrections)  (7 citations)
Niels Hallenberg, Martin Elsman, Mads Tofte



  Home/Search   Context   Related

 
View or download:
dina.kvl.dk/~mael/mypa...pldi2002.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  dina.kvl.dk/~mael/papers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper describes a memory discipline that combines region-based memory management and copying garbage collection by extending Cheney's copying garbage collection algorithm to work with regions. The paper presents empirical evidence that region inference very significantly reduces the number of garbage collections; and evidence that the fastest execution is obtained by using regions alone, without garbage collection. (Update)

Context of citations to this paper:   More

...to all program objects, and allows freeing objects before their allocating method returns. In region based memory management [6,31,2,14], the lifetime of an object is predicted at compile time. An object is associated with a memory region, and the alloca tion and...

Cited by:   More
Garbage Collection Safety for Region-based Memory Management - Elsman   (Correct)
Safe Programming at the C Level of Abstraction - Grossman (2003)   (Correct)
Web Programming with SMLserver - Elsman, Hallenberg (2003)   (Correct)

Active bibliography (related documents):   More   All
0.9:   the Garbage Collection Bibliography - Richard Jones (2003)   (Correct)
0.5:   Type-Specialized Serialization with Sharing - Martin Elsman Mael (2004)   (Correct)
0.3:   Flow-Directed Closure Conversion for Typed Languages - Cejtin, Jagannathan, Weeks (2000)   (Correct)

Similar documents based on text:   More   All
0.8:   A Region Inference Algorithm - Tofte, Birkedal (1998)   (Correct)
0.7:   An Optimizing Backend for the ML Kit Using a Stack of Regions - Elsman, Hallenberg (1995)   (Correct)
0.6:   From Region Inference to von Neumann Machines via.. - Birkedal, Tofte.. (1996)   (Correct)

Related documents from co-citation:   More   All
5:   Region-based memory management - Tofte, Talpin - 1997
4:   Memory management with explicit regions - Gay, Aiken - 1998
4:   Language support for regions - Gay, Aiken - 2001

BibTeX entry:   (Update)

N. Hallenberg, M. Elsman, and M. Tofte. Combining region inference and garbage collection. In ACM Conference on Programming Language Design and Implementation, Berlin, Germany, June 2002. This volume. http://citeseer.ist.psu.edu/hallenberg02combining.html   More

@inproceedings{ hallenbergcombining,
    author = "Niels Hallenberg and Martin Elsman and Mads Tofte",
    title = "Combining Region Inference and Garbage Collection",
    url = "citeseer.ist.psu.edu/hallenberg02combining.html" }
Citations (may not include all citations):
521   Compiling with Continuations (context) - Appel - 1992
384   The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
262   Uniprocessor garbage collection techniques - Wilson - 1992
188   Region-based memory management - Tofte, Talpin - 1997
173   A real-time garbage collector based on the lifetimes of obje.. - Lieberman, Hewitt - 1983
132   A non-recursive list compacting algorithm (context) - Cheney - 1970
83   From region inference to von Neumann machines via region rep.. - Birkedal, Tofte et al. - 1996
70   Region-based memory management in Cyclone - Grossman, Morrisett et al. - 2002
58   Better static memory management: Improving region-based anal.. - Aiken, Fahndrich et al. - 1995
58   Memory management with explicit regions - Gay, Aiken - 1998
54   Programming with regions in the ML Kit - Tofte, Birkedal et al. - 2001
45   Language support for regions - Gay, Aiken - 2001
28   implementation and experimental results (context) - Blanchet, Correctness - 1998
26   Garbage Collection (context) - Jones, Lins - 1996
23   A theory of stack allocation in polymorphically typed langua.. - Tofte, Talpin - 1993
19   Implementing the call-by-value lambda-calculus using a stack.. (context) - Tofte, Talpin - 1994
13   Transactions on Programming Languages and Systems (context) - Tofte, Birkedal et al. - 1998
7   An optimizing backend for the ML Kit using a stack of region.. - Elsman, Hallenberg - 1995
5   Combining garbage collection and region inference in the ML .. - Hallenberg - 1999
4   Polymorphic equality---no tags required - Elsman - 1998
4   Static interpretation of modules - Elsman - 1999
2   A region profiler for a Standard ML compiler based on region.. - Hallenberg - 1996
1   Type-preserving garbage collection (context) - Wang, Appel - 2001



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.dina.kvl.dk/~mael/papers.html):   More
A Portable Standard ML Implementation - Elsman (1994)   (Correct)
Static Interpretation of Modules - Martin Elsman Mael (1999)   (Correct)
Program Modules, Separate Compilation, and Intermodule Optimisation - Elsman   (Correct)

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