Karl Crary, David Walker, Greg Morrisett  Home/Search
Context Related
Links: ACM DBLP | cmu.edu/People/crary/pa...regions.ps.gz cmu.edu/~crary/papers/1...regions.ps.gz cmu.edu/project/fox/mos...regions.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 Problem Downloading? From: cmu.edu/People/crary/papers/ (more) From: cmu.edu/project/fox/mosaic/peo... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, trusted garbage collector. Region-based type systems provide an alternative to garbage collection by making memory management explicit but verifiably safe. However, it has not been clear how to use regions in low-level, type-safe code. We present a compiler intermediate language, called the Capability Calculus, that... (Update)
Cited by: More
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (Correct)
Jonathan Aldrich - Requirements For The (Correct)
Witnessing Side-Effects - Terauchi, Aiken (Correct)
Similar documents (at the sentence level):
70.0%: Typed Memory Management in a Calculus of Capabilities - Crary, Walker, Morrisett (1999) (Correct)
Active bibliography (related documents): More All
0.2: The Marriage of Effects and Monads - Wadler, Thiemann (1998) (Correct)
0.1: Object Ownership and Containment - Clarke (2001) (Correct)
0.1: A Direct Approach to Control-Flow Sensitive Region-Based.. - Henglein, Makholm, Niss (2001) (Correct)
Similar documents based on text: More All
0.3: Toward a Foundational Typed Assembly Language - Crary (2002) (Correct)
0.2: Alias Types - Smith, Walker, Morrisett (1999) (Correct)
0.2: Alias Types for Recursive Data Structures - Walker, Morrisett (2000) (Correct)
Related documents from co-citation: More All
57: Region-based memory management - Tofte, Talpin - 1997
38: Linear types can change the world - Wadler - 1990
34: Alias types for recursive data structures - Walker, Morrissett - 2000
BibTeX entry: (Update)
Karl Crary, David Walker, and Greg Morrisett. Typed memory management in a calculus of capabilities. Technical report, Cornell University, 1999. http://citeseer.ist.psu.edu/article/crary99typed.html More
@inproceedings{ crary99typed,
author = "Karl Crary and David Walker and Greg Morrisett",
title = "Typed Memory Management in a Calculus of Capabilities",
booktitle = "Conference Record of {POPL} 99: The 26th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Antonio, Texas",
address = "New York, NY",
pages = "262--275",
year = "1999",
url = "citeseer.ist.psu.edu/article/crary99typed.html" }
Citations (may not include all citations):746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1996
566 Proof-carrying code - Necula - 1997
400 safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
369 Information and Computation (context) - Moggi, computation - 1991 DBLP
339 Efficient software-based fault isolation - Wahbe, Lucco et al. - 1993 ACM DBLP
306 A syntactic approach to type soundness - Wright, Felleisen - 1994 ACM DBLP
264 Safe kernel extensions without run-time checking - Necula, Lee - 1996
244 Imperative functional programming - Jones, Wadler - 1993 ACM DBLP
215 Theoretical Computer Science (context) - Girard - 1987 ACM
201 to Typed Assembly Language (context) - Morrisett, Walker et al. - 1998
200 Solving shapeanalysis problems in languages with destructive.. - Sagiv, Reps et al. - 1996
188 Region-based memory management - Tofte, Talpin - 1997 ACM DBLP
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995 ACM DBLP
184 Linear types can change the world - Wadler - 1990
184 Definitional interpreters for higherorder programming langua.. (context) - Reynolds - 1972
137 The design and implementation of a certifying compiler - Necula, Lee - 1998 ACM DBLP
132 Syntactic control of interference (context) - Reynolds - 1978 ACM DBLP
132 Syntactic control of interference (context) - Reynolds - 1989 ACM DBLP
131 Interprocedural may-alias analysis for pointers: Beyond k-li.. - Deutsch - 1994
117 Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999 ACM DBLP
101 Implementing multiple protection domains in Java - Hawblitzel, Chang et al. - 1998
99 A shape analysis for heapdirected pointers in C (context) - Ghiya, Hendren et al. - 1996
88 Implementation of the typed call-by-value -calculus using a .. (context) - Tofte, Talpin - 1994
86 Intensional polymorphism in type-erasure semantics - Crary, Weirich et al. - 1998 ACM DBLP
85 Abstract models of memory management (context) - Morrisett, Felleisen et al. - 1995
83 From region inference to von Neumann machines via region rep.. - Birkedal, Tofte et al. - 1996 ACM DBLP
77 LISP and Symbolic Computation (context) - Launchbury, Jones et al. - 1995
66 Algebraic reconstruction of types and effects - Jouvelot, Gifford - 1991 ACM DBLP
58 Memory management with explicit regions - Gay, Aiken - 1998 ACM DBLP
58 Better static memory management: Improving regionbased analy.. - Aiken, Fahndrich et al. - 1995
50 Semantics of memory management for polymorphic languages - Morrisett, Harper - 1997 ACM
43 A taste of linear logic - Wadler - 1993
34 Department of Computer Science (context) - Birkedal, Rothwell et al. - 1993
29 Types and Effects---Towards the Integration of Functional an.. (context) - Lucassen - 1987
29 Integrating functional and imperative programming (context) - Gifford, Lucassen - 1986
20 School of Computer Science (context) - Filinski, PhD et al. - 1996
19 Efficient code certification - Kozen - 1998 ACM
13 Transactions on Programming Languages and Systems (context) - Tofte, Birkedal et al. - 1998
10 in and P. Jouvelot. Polymorphic type, region, and effect inf.. (context) - Talp - 1992
4 Sharing and revocation in a safe language (context) - Hawblitzel, von Eicken - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/People/crary/papers/): More
Admissibility of Fixpoint Induction over Partial Types - Crary (1998) (Correct)
Programming Language Semantics in Foundational Type Theory - Crary (1996) (Correct)
Transparent and Opaque Interpretations of Datatypes - Crary, Harper, Cheng.. (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