John Tang Boyland  Home/Search
Context
Related
| cs.uu.nl/~dave/iwaco/f...04Boyland.pdf 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: cs.uu.nl/~dave/iwaco/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In a previous paper, we discussed how the concepts of uniqueness and effects are interdependent. In this paper, we show how "Adoption and Focus," a proposal for handling linear pointers in shared variables can be extended to connect the two concepts. Our innovations include the ability to define adoption relations between individual fields rather than whole objects, and the ability to "focus" on more than one adoptee at a time. The resulting system uses recursive alias types, "permission... (Update)
Active bibliography (related documents): More All
0.6: Ownership Types for Object Encapsulation - Boyapati, Liskov, Shrira (2003) (Correct)
0.3: External Uniqueness is Unique Enough - Clarke, Wrigstad (2002) (Correct)
0.3: Ownership Transfer and Abstraction - Banerjee, Naumann (2003) (Correct)
Similar documents based on text: More All
0.2: Descriptional Composition of Compiler Components - Boyland (1996) (Correct)
0.1: Incremental Evaluators for Remote Attribute Grammars - Boyland (2002) (Correct)
0.1: On the Relation of Error Correction and Cryptography.. - Davida, Frankel.. (1999) (Correct)
BibTeX entry: (Update)
@misc{ boyland-connecting,
author = "John Tang Boyland",
title = "Connecting Effects and Uniqueness with Adoption",
url = "citeseer.ist.psu.edu/670387.html" }
Citations (may not include all citations):197 Dependent Types in Practical Programming - Xi - 1998
100 Islands: Aliasing protection in object-oriented languages (context) - Hogg - 1991
88 Implementation of the typed call-by-value #-calculus using a.. (context) - Tofte, Talpin - 1994
82 Alias types for recursive data structures - Walker, Morrisett - 2001
67 Compaq Systems Research Center (context) - Leino, Nelson - 2000
52 Alias annotations for program understanding - Aldrich, Kostadinov et al. - 2002
49 Towards alias-free pointers - Minsky - 1996
46 Flow-sensitive type qualifiers - Foster, Terauchi et al. - 2002
43 Ownership types for safe programming: preventing data races .. - Boyapati, Lee et al. - 2002
41 Comparing object encodings - Bruce, Cardelli et al. - 1997
37 Alias types - Smith, Walker et al. - 2000
37 Alias burying: Unique variables without destructive reads (context) - Boyland - 2001
31 Using data groups to specify and check side e#ects (context) - Leino, Poetzsch-He et al. - 2002
27 Typed memory management via static capabilities - Walker, Crary et al. - 2000
22 Data groups: Specifying the modification of extended state - Leino - 1998
22 Use-once' variables and linear objects---storage management (context) - Baker - 1995
14 An object-oriented e#ects system (context) - Greenhouse, Boyland - 1999
10 Object Ownership and Containment - Clarke - 2001
10 Ownership types for safe region-based memory management in r.. - Boyapati, Salcianu et al. - 2003
9 Heap monotonic typestates (context) - Fahndrich, Leino - 2003
7 Virginity: A contribution to the specification of objectorie.. - Leino, Stata - 1999
6 Declaring and checking non-null types in an objectoriented l.. (context) - Fahndrich, DeLine - 2003
5 Checking interference with fractional permissions (context) - Boyland - 2003
4 External uniqueness - Clarke, Wrigstad - 2003
1 Paper from Workshop on Formal Techniques for Java Programs (context) - Boyland, The - 2001
1 Adoption and focus: Practial linear types for imperative pro.. (context) - Fahndrich, DeLine - 2002
Documents on the same site (http://www.cs.uu.nl/~dave/iwaco/): More
Towards a Model of Encapsulation - Noble, Biddle, Tempero, Potanin.. (Correct)
Cheaper Reasoning with Ownership Types - Smith, Drossopoulou (2003) (Correct)
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (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