Anindya Banerjee, David A. Naumann  Home/Search
Context
Related
| ksu.edu/~ab/Publications/otran.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: ksu.edu/~ab/Publications/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Ownership confinement expresses encapsulation in heap structures, in support of modular reasoning about effects, representation independence, and other properties. (Update)
Active bibliography (related documents): More All
0.6: Ownership Transfer and Abstraction - Banerjee, Naumann (2003) (Correct)
0.5: Object Invariants in Dynamic Contexts - Leino, Müller (2004) (Correct)
0.3: Verification of Object-Oriented Programs with Invariants - Barnett, DeLine.. (2004) (Correct)
Similar documents based on text: More All
0.5: Ownership Confinement Ensures Representation Independence.. - Banerjee, Naumann (2002) (Correct)
0.2: A Simple Semantics and Static Analysis for Java Security - Banerjee, Naumann (2001) (Correct)
0.2: Modeling Business Applications with the OODB Ownership.. - Michael Halper (Correct)
BibTeX entry: (Update)
@misc{ banerjee-ownership,
author = "Anindya Banerjee and David A. Naumann",
title = "Ownership: Transfer, Sharing, and Encapsulation",
url = "citeseer.ist.psu.edu/579475.html" }
Citations (may not include all citations):265 Proofs of correctness of data representations (context) - Hoare - 1972
141 COMPAQ Systems Research Center (context) - Detlefs, Leino et al. - 1998
114 Concurrent Programming in Java (context) - Lea - 2000 ACM
111 Separation logic: a logic for shared mutable data structures - Reynolds - 2002 DBLP
106 An algebraic definition of simulation between programs (context) - Milner - 1971 ACM DBLP
100 Islands: Aliasing protection in object-oriented languages (context) - Hogg - 1991 DBLP
97 and parametric polymorphism (context) - Reynolds, abstraction - 1984
66 The Geneva Convention on the treatment of object aliasing - Hogg, Lea et al. - 1992 ACM DBLP
52 Alias annotations for program understanding - Aldrich, Kostadinov et al. - 2002 ACM DBLP
46 ACM Transactions on Programming Languages and Systems (context) - Rustan, Leino et al. - 2002
42 Simple ownership types for object containment - Clarke, Noble et al. - 2001 ACM DBLP
29 Secure information flow and pointer confinement in a Java-li.. - Banerjee, Naumann - 2002 ACM DBLP
24 Ownership types for safe programming: Preventing data races .. (context) - Boyapati, Lee et al. - 2002 DBLP
16 Software Practice and Experience (context) - Vitek, Bokowski et al. - 2001
15 Modular Specification and Verification of Object-Oriented pr.. (context) - MSller - 2002 ACM DBLP
15 External uniqueness is unique enough - Clarke, Wrigstad - 2003 DBLP
12 Ownership types for object encapsulation (context) - Boyapati, Liskov et al. - 2003 ACM DBLP
10 confinement and access control (context) - Banerjee, Naumann - 2002
10 Object Ownership and Containment - Clarke - 2001 ACM
8 Ownership confinement ensures representation independence fo.. - Banerjee, Naumann - 2002
6 A type system for controlling representation exposure in Jav.. (context) - MSller, Poetzsch-Heffter - 2000
5 Data Refinement: Model-Oriented Proof Methods and their Comp.. (context) - de Roevet, Engelhardt - 1998
1 encapsulation and the disjointhess of type and effect (context) - Clarke, Drossopoulou - 2002
Documents on the same site (http://www.cis.ksu.edu/~ab/Publications/): More
A Static Analysis for Instance-based Confinement in Java - Banerjee, Naumann (Correct)
Modular Control-Flow Analysis with Rank 2 Intersection Types - Banerjee, Jensen (Correct)
Secure Information Flow and Pointer Confinement in a.. - Banerjee, Naumann (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