in Higher-Order Typed Languages Neel Krishnaswami and Jonathan Aldrich...  Home/Search
Context
Related
| cmu.edu/~aldrich/papers/pldi05.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: cmu.edu/~aldrich/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Today's module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of large software systems. Ownership types have been proposed as a solution to this problem, but current systems have ad-hoc access restrictions and are limited to Java-like languages. (Update)
Active bibliography (related documents): More All
0.5: Verification of Object-Oriented Programs with Invariants - Barnett, DeLine.. (2004) (Correct)
0.4: Alias Annotations for Program Understanding - Aldrich, Kostadinov, Chambers (2002) (Correct)
0.3: Alias Killing: Unique Variables Without Destructive Reads - Boyland (1999) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ typed-permissionbased,
author = "In Higher-Order Typed",
title = "Permission-Based Ownership: Encapsulating State",
url = "citeseer.ist.psu.edu/752043.html" }
Citations (may not include all citations):427 the Criteria to be Used in Decomposing Systems into Modules (context) - Parnas - 1972
311 Abstract types have existential type (context) - Mitchell, Plotkin - 1988 ACM DBLP
268 Proofs and Types (context) - Girard, Taylor - 1989 ACM
188 Region-based memory management - Tofte, Talpin - 1997 ACM DBLP
111 Separation Logic: a Logic for Shared Mutable Data Structures - Reynolds - 2002 DBLP
100 Islands: Aliasing Protection in Object-Oriented Languages (context) - Hogg - 1991 DBLP
82 Alias Types for Recursive Data Structures - Walker, Morrisett - 2000 ACM DBLP
74 Ownership Types for Flexible Alias Protection - Clarke, Potter et al. - 1998 ACM DBLP
68 Flexible Alias Protection - Noble, Vitek et al. - 1998 ACM DBLP
52 Alias Annotations for Program Understanding - Aldrich, Kostadinov et al. - 2002
43 Ownership Types for Safe Programming: Preventing Data Races .. - Boyapati, Lee et al. - 2002 DBLP
42 Simple Ownership Types for Object Containment - Clarke, Potter et al. - 2001 ACM DBLP
41 The type and effect discipline - Talpin, Jouvelot - 1994 ACM DBLP
39 Adoption and focus: Practical linear types for imperative pr.. - Fahndrich, DeLine - 2002 DBLP
26 Separation and information hiding (context) - O'Hearn, Yang et al. - 2004 ACM DBLP
25 Confined Types - Bokowski, Vitek - 1999 ACM DBLP
25 Balloon Types: Controlling Sharing of State in Data Types - Almeida - 1997 DBLP
19 Stack inspection: theory and variants (context) - Fournet, Gordon - 2002 DBLP
14 and Access Control (context) - Banerjee, Naumann et al. - 2002
6 Using Data Groups to Specify and Check Side Effects (context) - Leino, Poetzsch-Heffter et al. - 2002 ACM DBLP
6 Ownership Domains: Separating Aliasing Policy from Mechanism (context) - Aldrich, Chambers - 2004
6 Object Ownership & Containment (context) - Clarke - 2001
3 An Object-Oriented Effects System - Greenhouse, Boyland - 1999 ACM DBLP
1 Ownership Types for Safe Region-Based Memory Mangement in Re.. (context) - Boyapati, Salcianu et al. - 2003
1 Monadic regions (context) - Fluet, Morisett - 2004 ACM
1 Transactions on Programming Languages and Systems (context) - Grossman, Morrisett et al. - 2000
1 Book draft available httpscala (context) - in, draft et al. - 2004
1 and the Disjointness of Type and Effect (context) - Clarke, Drossopoulou et al. - 2002
1 A modal foundation for secure information flow (context) - Miyamoto, Igarashi - 2004
Documents on the same site (http://www.cs.cmu.edu/~aldrich/papers/): More
EGO: Controlling the Power of Simplicity - Bejleri, Aldrich, Bierhoff (2006) (Correct)
Static Analyses for Eliminating Unnecessary.. - Aldrich, Chambers.. (1999) (Correct)
Improving System Dependability by Enforcing.. - Abi-Antoun, Aldrich, .. (2005) (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