Fritz Henglein, Henning Makholm, Henning Niss  Home/Search
Context Related
| diku.dk/~makholm/p...makholmniss.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: macs.hw.ac.uk/~makholm/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Region-based memory management can be used to control dynamic memory allocations and deallocations safely and efficiently. Existing (direct-style) region systems that statically guarantee region safety---no dereferencing of dangling pointers---are based on refinements of Tofte and Talpin's seminal work on region inference for managing heap memory in stacks of regions. (Update)
Cited by: More
Linear Regions Are All You Need - Fluet, Morrisett, Ahmed (Correct)
Memory Management with Use-Counted Regions - Terauchi, Aiken (2004) (Correct)
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
Active bibliography (related documents): More All
1.1: A Direct Approach to Control-Flow Sensitive Region-Based.. - Henglein, Makholm, Niss (2001) (Correct)
0.2: The Marriage of Effects and Monads - Wadler, Thiemann (1998) (Correct)
0.1: An Equational Theory for a Region Calculus - Helsen (2002) (Correct)
Similar documents based on text: More All
0.6: A region-based memory manager for Prolog - Henning Makholm Diku (2000) (Correct)
0.4: MiXIMUM - A simpler and more liberal type specializer - Makholm (2000) (Correct)
0.4: Specializing C - An Introduction To (Correct)
Related documents from co-citation: More All
9: Region-based memory management - Tofte, Talpin - 1997
9: Programming with regions in the ML kit - Tofte, Birkedal et al. - 1997
8: Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999
BibTeX entry: (Update)
F. Henglein, H. Makholm, and H. Niss. A direct approach to control-flow sensitive region-based memory management. Technical report, 2001. hhttp://www.diku.dk/~hniss/rbmm/ppdp-ext.ps.gzi. http://citeseer.ist.psu.edu/article/henglein01direct.html More
@inproceedings{ henglein01direct,
author = "Fritz Henglein and Henning Makholm and Henning Niss",
title = "A direct approach to control-flow sensitive region-based memory management",
booktitle = "Proceedings of the 3rd International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming ({PPDP})",
publisher = "ACM",
address = "Montr{\'e}al, Canada",
pages = "175--186",
year = "2001",
url = "citeseer.ist.psu.edu/article/henglein01direct.html" }
Citations (may not include all citations):188 Region-based memory management - Tofte, Talpin - 1997
117 Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999
83 From region inference to von Neumann machines via region rep.. - Birkedal, Tofte et al. - 1996
65 Typestate: A programming language concept for enhancing soft.. (context) - Strom, Yemini - 1986
58 Better static memory management: Improving region-based anal.. - Aiken, Fhndrich et al. - 1995
54 Programming with regions in the ML Kit - Tofte, Birkedal et al. - 1998
37 Recursion and dynamic data-structures in bounded space: Towa.. - Hughes, Pareto - 1999
36 Fast allocation and deallocation of memory based on object l.. (context) - Hanson - 1990
29 Integrating functional and imperative programming (context) - Gifford, Lucassen - 1986
27 Typed memory management via static capabilities - Walker, Crary et al. - 2000
19 Optimization of very high level languages (context) - Schwartz - 1975
19 Implementing the call-by-value lambda-calculus using a stack.. (context) - Tofte, Talpin - 1994
18 The AED free storage package (context) - Ross - 1967
15 Monadic encapsulation in ML - Semmelroth, Sabry - 1999
14 The marriage of effects and monads - Wadler - 1998
11 A direct approach to control-flow sensitive region-based mem.. - Henglein, Makholm et al. - 2001
10 in and P. Jouvelot. Polymorphic type, region, and effect inf.. (context) - Talp - 1992
2 Region-based memory management in perspective (context) - Tofte, Hallenberg - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.macs.hw.ac.uk/~makholm/): More
MiXIMUM - A simpler and more liberal type specializer - Makholm (2000) (Correct)
Specializing C - An Introduction To (Correct)
A region-based memory manager for Prolog - Henning Makholm Diku (2000) (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