Karl Crary, David Walker, Greg Morrisett  Home/Search
Context Related
Links: ACM DBLP | purdue.edu/homes/jv/s...CraryPOPL99.ps 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: purdue.edu/homes/jv/smc...content (more) (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.7%: Typed Memory Management in a Calculus of Capabilities - Crary, Walker, Morrisett (1999) (Correct)
Active bibliography (related documents): More All
0.2: A Type System for Expressive Security Policies - Walker (1999) (Correct)
0.2: Type-Preserving Garbage Collectors - Wang, Appel (2001) (Correct)
0.2: Preliminary Design of JML: A Behavioral Interface.. - Leavens, Baker, Ruby (1999) (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 ACM DBLP
400 safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
369 Information and Computation (context) - Moggi, computation - 1991 DBLP
306 A syntactic approach to type soundness - Wright, Felleisen - 1994 ACM DBLP
264 Safe kernel extensions without run-time checking - Necula, Lee - 1996 ACM DBLP
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
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 ACM DBLP
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
58 Better static memory management: Improving regionbased analy.. - Aiken, Fahndrich et al. - 1995
58 Memory management with explicit regions - Gay, Aiken - 1998 ACM DBLP
50 Semantics of memory management for polymorphic languages - Morrisett, Harper - 1997 ACM
44 cient software-based fault isolation (context) - Wahbe, Lucco et al. - 1993
43 A taste of linear logic - Wadler - 1993 ACM DBLP
34 Department of Computer Science (context) - Birkedal, Rothwell et al. - 1993
33 Journal of Functional Programming (context) - Talpin, Jouvelot et al. - 1992
24 Integrating functional and imperative programming (context) - Gi, Lucassen - 1986 ACM DBLP
20 School of Computer Science (context) - Filinski, ects et al. - 1996
13 Transactions on Programming Languages and Systems (context) - Tofte, Birkedal et al. - 1998
9 Algebraic reconstruction of types and e#ects (context) - Jouvelot, Gi - 1991
7 cient code certification (context) - Kozen - 1998
6 Implementation of the typed call-by-value #-calculus using a.. (context) - Tofte, Talpin - 1994
5 ects---Towards the Integration of Functional and Imperative .. (context) - Lucassen - 1987
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.purdue.edu/homes/jv/smc/bib/content.html): More
Compiling with Proofs - Necula (1998) (Correct)
History-based Access Control for Mobile Code - Edjlali, Acharya, Chaudhary (1998) (Correct)
Implementing Protection Domains in the Java Development Kit 1.2 - Gong, Schemers (1988) (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