Niels Hallenberg, Martin Elsman, Mads Tofte  Home/Search
Context Related
| dina.kvl.dk/~mael/mypa...pldi2002.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dina.kvl.dk/~mael/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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