DAVID WALKER Carnegie Mellon University KARL CRARY Carnegie Mellon University ...  Home/Search
Context Related
Links: ACM DBLP | cmu.edu/~crary/papers...capabilities.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: cmu.edu/~crary/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine We have described the type constructor language of CL and the typing rules for the main term-level constructs. In fact, the previous section contains all of the ACM Transactions on Programming Languages and Systems, Vol. TBD, No. TDB, Month Year. ` f : Type ; ; ff : f ; x1 : 1 ; : : : ; xn : ng; C ` e f = 8[ ]:(C; 1 ; : : : ; n ) ! 0 at r f; x 1 ; : : : ; xn 62 Dom() ;; ` fix f[ ](C; x 1 : 1 ; : : : ; xn : n ):e at r : f (h- x) ;; ` v i : i... (Update)
Cited by: More
Mutatis Mutandis: - Safe And Predictable (Correct)
From Sequential Programs to Multi-Tier Applications by.. - Neubauer, Thiemann (2005) (Correct)
More Dynamic Object Re-classification: Fickle_II - Drossopoulou, Damiani.. (2002) (Correct)
Similar documents (at the sentence level):
58.1%: Typed Memory Management via Static Capabilities - Walker, Crary, Morrisett (2000) (Correct)
8.9%: Typed Memory Management in a Calculus of Capabilities - Crary, Walker, Morrisett (1999) (Correct)
Active bibliography (related documents): More All
0.6: Possibilities and Limitations of Call-by-Need Space Improvement - Gustavsson, Sands (2001) (Correct)
0.3: Abstract Models of Storage - Tennent, Ghica (2000) (Correct)
0.3: Partial Evaluation - Mogensen, Sestoft (1996) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
12: Enforcing high-level protocols in low-level software - ahndrich, DeLine - 2001
10: From region inference to von Neumann machines via region representation inferenc.. - Birkedal, Tofte et al. - 1996
10: Region-based memory management - Tofte, Talpin - 1997
BibTeX entry: (Update)
David Walker, Karl Crary, and Greg Morrisett. Typed memory management via static capabilities. ACM Trans. on Programming Languages and Systems, 22(4):701--771, July 2000. http://citeseer.ist.psu.edu/article/walker00typed.html More
@article{ walker00typed,
author = "David Walker and Karl Crary and Greg Morrisett",
title = "Typed memory management via static capabilities",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "22",
number = "4",
pages = "701--771",
year = "2000",
url = "citeseer.ist.psu.edu/article/walker00typed.html" }
Citations (may not include all citations):400 safety and performance in the SPIN operating system (context) - Bershad, Savage et al. - 1995
306 A syntactic approach to type soundness - Wright, Felleisen - 1994 ACM DBLP
264 Safe kernel extensions without run-time checking - Necula, Lee - 1996
262 Uniprocessor garbage collection techniques - Wilson - 1992 ACM DBLP
244 Imperative functional programming - Jones, Wadler - 1993 ACM DBLP
242 Linear logic (context) - Girard - 1987 ACM DBLP
233 Computational interpretations of linear logic - Abramsky - 1993 ACM DBLP
190 List processing in real-time on a serial computer - Baker - 1978
188 Region-based memory management - Tofte, Talpin - 1997 ACM DBLP
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
158 Reasoning about programs in continuation-passing style - Sabry, Felleisen - 1993 ACM DBLP
137 The design and implementation of a certifying compiler - Necula, Lee - 1998 ACM DBLP
132 Syntactic control of interference (context) - Reynolds - 1978
132 Syntactic control of interference (context) - Reynolds - 1989
120 The Java Virtual Machine Speci cation (context) - Lindholm, Yellin - 1996
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
88 Implementation of the typed call-by-value -calculus using a.. (context) - Tofte, Talpin - 1994
87 Notions of computation and monads - Moggi - 2000
86 Intensional polymorphism in type-erasure semantics - Crary, Weirich et al. - 1998
85 Abstract models of memory management (context) - Morrisett, Felleisen et al. - 1995 ACM DBLP
85 Recognizing safety and liveness - Alpern, Schneider - 1987 ACM DBLP
83 From region inference to von Neumann machines via region rep.. - Birkedal, Tofte et al. - 1996 ACM DBLP
82 Alias types for recursive data structures - Walker, Morrisett - 2000 ACM DBLP
71 Lambda calculus schemata - Fischer - 1972 ACM
66 Enforceable security policies - Schneider - 2000 ACM DBLP
58 Memory management with explicit regions - Gay, Aiken - 1998 ACM DBLP
58 Better static memory management: Improving region-based anal.. - Aiken, ahndrich et al. - 1995 DBLP
56 Explicit polymorphism and CPS conversion - Harper, Lillibridge - 1993 ACM DBLP
55 Representing control: a study of the CPS transformation - Danvy, Filinski - 1992 DBLP
52 Types for safe locking - Flanagan, Abadi - 1999 ACM DBLP
50 Semantics of memory management for polymorphic languages - Morrisett, Harper - 1997 ACM
49 mmp: An Experimental Computer System (context) - Wulf, Levin et al. - 1981
43 A taste of linear logic - Wadler - 1993
42 Call-by-name (context) - Plotkin - 1975
41 A type system for expressive security policies - Walker - 2000 ACM DBLP
29 Integrating functional and imperative programming (context) - Gifford, Lucassen - 1986 ACM DBLP
21 Algebraic reconstruction of types and e ects (context) - Jouvelot, Gifford - 1991
20 School of Computer Science (context) - Filinski, Controlling et al. - 1996
20 Ecient software-based fault isolation (context) - Wahbe, Lucco et al. - 1993
18 State in Haskell - Launchbury, Peyton - 1995 ACM DBLP
17 On proving syntactic properties of CPS programs - Danvy, Dzafic et al. - 1999 DBLP
15 De nitional interpreters for higher-order programming langua.. (context) - Reynolds - 1972
15 The linear abstract machine (context) - Lafont - 1988
7 A region inference algorithm - Tofte, Birkedal - 1998
6 and Morrisett (context) - Smith, Walker - 2000
6 A provably time and space ecient implementation of NESL (context) - Blelloch, Greiner - 1996
5 Ecient code certi cation (context) - Kozen - 1998
5 Type system support for dynamic revocation - Hawblitzel, von Eicken - 1999
4 ACM Transactions on Programming Languages and Systems (context) - February, May - 2000
3 Department of Computer Science (context) - on, Languages et al. - 1993
2 Space-pro ling semantics of the call-by-value lambda calculu.. (context) - Minamide - 1999
1 De nition of Standard ML (context) - on, Languages et al. - 1997
1 Types and e ects|towards the integration of functional and i.. (context) - Lucassen - 1987
1 Linear types can change the world (context) - on, Languages et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/~crary/papers/): More
From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998) (Correct)
From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998) (Correct)
Principles and a Preliminary Design for ML2000 - Group (1999) (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