Alexander Aiken, Manuel Fähndrich, Raph Levien  Home/Search
Context Related
Links: DBLP | berkeley.edu/~manuel/paper...tr95.ps.gz microsoft.com/~maf/tr95.ps.gz microsoft.com/~maf/tr95.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: berkeley.edu/~manu...publications (more) From: microsoft.com/~maf...publications (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Static memory management replaces runtime garbage collection with compile-time annotations that make all memory allocation and deallocation explicit in a program. We improve upon the Tofte/Talpin region-based scheme for compile-time memory management [TT94]. In the Tofte/Talpin approach, all values, including closures, are stored in regions. Region lifetimes coincide with lexical scope, thus forming a runtime stack of regions and eliminating the need for garbage collection. We relax the... (Update)
Cited by: More
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (Correct)
Linear Regions Are All You Need - Fluet, Morrisett, Ahmed (Correct)
Memory Management with Use-Counted Regions - Tachio Terauchi Alex (Correct)
Similar documents (at the sentence level):
21.3%: Better Static Memory Management: Improving Region-Based.. - Aiken, al. (1995) (Correct)
Active bibliography (related documents): More All
0.3: Escape Analysis for Object Oriented Languages. Application to Java - Blanchet (1999) (Correct)
0.3: Escape Analysis: Correctness Proof, Implementation and.. - Blanchet (1998) (Correct)
0.3: Safe and Principled Language Interoperation - Trifonov, Shao (1999) (Correct)
Similar documents based on text: More All
0.4: Syntactic Type Soundness Results for the Region Calculus - Calcagno, Helsen, Thiemann (Correct)
0.4: Syntactic Type Soundness for the Region Calculus - Helsen, Thiemann (2000) (Correct)
0.4: A Direct Approach to Control-Flow Sensitive Region-Based.. - Henglein, Makholm, Niss (2001) (Correct)
Related documents from co-citation: More All
32: Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999
32: Region-based memory management - Tofte, Talpin - 1997
31: From region inference to von Neumann machines via region representation inferenc.. - Birkedal, Tofte et al. - 1996
BibTeX entry: (Update)
Alexander Aiken, Manuel Fahndrich, and Raph Levien. Better static memory management: Improving regionbased analysis of higher-order languages. In Proc. of the ACM SIGPLAN '95 Conference on Programming Languages and Implementation (PLDI), pages 174--185, La Jolla, CA, June 1995. ACM Press. http://citeseer.ist.psu.edu/aiken95better.html More
@inproceedings{ aiken95better,
author = "Alexander Aiken and Manuel Fahndrich and Raph Levien",
title = "Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages",
booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
pages = "174-185",
year = "1995",
url = "citeseer.ist.psu.edu/aiken95better.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
521 Compiling with Continuations (context) - Appel - 1992
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
190 List processing in real time on a serial computer - Baker - 1978 ACM DBLP
173 A real-time garbage collector based on the lifetimes of obje.. - Lieberman, Hewitt - 1983
138 Type inference for polymorphic references (context) - Tofte - 1990 ACM DBLP
129 fly garbage collection: An exercise in cooperation (context) - Dijkstra, Lamport et al. - 1978
127 Control flow analysis in Scheme (context) - Shivers - 1988 ACM
126 Type inference with polymorphic recursion - Henglein - 1993 ACM DBLP
109 Interaction nets (context) - Lafont - 1990 ACM DBLP
88 Implementation of the typed call-by-value -calculus using a .. (context) - Tofte, Talpin - 1994
73 A LISP garbage-collector for virtual-memory computer systems (context) - Fenichel, Yochelson - 1969 ACM DBLP
70 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
68 On determining lifetime and aliasing of dynamically allocate.. (context) - Deutsch - 1990 ACM DBLP
65 Lisp and Symbolic Computation (context) - Appel, system - 1990
61 Detecting global variables in denotational specifications (context) - Schmidt - 1985 ACM DBLP
54 Safety analysis versus type inference - Palsberg, Schwartzbach - 1992 ACM DBLP
48 Global tagging optimization by type inference - Henglein - 1992 ACM DBLP
46 Analysis and Efficient Implementation of Functional Programs - Sestoft - 1992
29 Memory subsystem performance of programs using copying garba.. - Diwan, Tarditi et al. - 1994 ACM DBLP
23 Real-time replication garbage collection - Nettles, O'Toole - 1993 ACM DBLP
23 A theory of stack allocation in polymorphically typed langua.. - Tofte, Talpin - 1993
14 Compile-time garbage collection by necessity analysis (context) - Hamilton, Jones - 1990
13 Syntactic detection of single-threading using continuations - Fradet - 1991 ACM DBLP
9 Lifetime analysis of dynamically allocated objects (context) - Ruggieri, Murtagh - 1988 ACM DBLP
3 in and Pierre Jouvelot. Polymorphic type, region, and effect.. (context) - Talp - 1992
3 Compile time garbage collection using reference count analys.. (context) - Hederman - 1988
2 Storage mode analysis (context) - Tofte - 1994
1 Garbage collection in an uncooperative enviroment (context) - Boehm, Weiser - 1988
1 Principal type schemes for functinoal programs (context) - Damas, Milner - 1982
1 A sematic model of reference counting and its abstraction (context) - Hudak - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.berkeley.edu/~manuel/publications.html): More
Statically Checkable Pattern Abstractions - Fähndrich, Boyland (1997) (Correct)
Refined Type Inference for ML - Fähndrich, Aiken (Correct)
Better Static Memory Management: Improving Region-Based.. - Aiken, al. (1995) (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