D. G. Clarke, J. M. Potter, and J. Noble. Simple Ownership Types for Object Containment. In European Conference on ObjectOriented Programming, 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Representation Independence, Confinement and Access Control.. - Banerjee, Naumann (2002) (Correct)
....found in the number of recent OOPSLA and ECOOP papers on the topic) To achieve encapsulation for heap allocated objects, there have been many proposals for con nement. For example, elds can be designated as unshared or read only. Quite a few con nement disciplines have been proposed (e.g. see [40, 7, 27, 4] and citations therein) Most have signi cant shortcomings; they are too restrictive for practical use, or not eciently checkable. Few have been formally justi ed. Existing justi cations use disparate techniques such that it is quite hard to assess and compare con nement disciplines [7, 25, ....
....7, 27, 4] and citations therein) Most have signi cant shortcomings; they are too restrictive for practical use, or not eciently checkable. Few have been formally justi ed. Existing justi cations use disparate techniques such that it is quite hard to assess and compare con nement disciplines [7, 25, 18]. One of our contributions is to show how standard semantic techniques can be used for such assessments. The challenges. A widely held view seems to be that classical techniques based on denotational semantics and logical relations are inadequate in the face of the complex language features of ....
[Article contains additional citation context not shown here]
D. G. Clarke, J. Noble, and J. M. Potter. Simple ownership types for object containment. In ECOOP 2001.
A Static Analysis for Instance-based Confinement in Java - Banerjee, Naumann (1 citation) (Correct)
....o er encapsulation without sacri cing extensibility and exibility. But it is well known that the unfettered use of shared references to mutable objects is error prone and can violate intended encapsulation. Quite a few proposals have been made for con nement, i.e. alias control (see, e.g. [CNP01,Boy01,VB01] and citations therein) Most proposals have been accompanied by an intuitive explanation of a property intended to be ensured, justi ed by examples and design patterns. Some proposals have included precise de nitions of syntactic conditions necessary for the property; in some cases the ....
.... about speci cations using modi es clauses [MPH00,DLN98,LN00] and for justifying program transformations [BN02] The present paper addresses con nement that is instance based in that an object of public class is viewed as owning certain objects that constitute its internal representation [CPN98,CNP01,MPH00]. This form of con nement is applicable to many situations in practice, but our contribution is not just to treat this form; rather, we explore an approach, based on denotational semantics, that can be adapted to other forms. The literature on con nement re ects the search for con nement ....
[Article contains additional citation context not shown here]
D. G. Clarke, J. Noble, and J. M. Potter. Simple ownership types for object containment. In J. L. Knudsen, editor, ECOOP, 2001.
Representation Independence, Confinement and Access Control.. - Banerjee, Naumann (Correct)
....in the number of recent OOPSLA and ECOOP papers on the topic) To achieve encapsulation for heap allocated objects, there have been many proposals for confinement. For example, fields can be designated as unshared or read only. Quite a few confinement disciplines have been proposed (e.g. see [40, 7, 27, 4] and citations therein) Most have significant shortcomings; they are too restrictive for practical use, or not e#ciently checkable. Few have been formally justified. Existing justifications use disparate techniques such that it is quite hard to assess and compare confinement disciplines [7, 25, ....
....7, 27, 4] and citations therein) Most have significant shortcomings; they are too restrictive for practical use, or not e#ciently checkable. Few have been formally justified. Existing justifications use disparate techniques such that it is quite hard to assess and compare confinement disciplines [7, 25, 18]. One of our contributions is to show how standard semantic techniques can be used for such assessments. The challenges. A widely held view seems to be that classical techniques based on denotational semantics and logical relations are inadequate in the face of the complex language features of ....
[Article contains additional citation context not shown here]
D. G. Clarke, J. Noble, and J. M. Potter. Simple ownership types for object containment. In ECOOP 2001.
Secure Information Flow and Pointer Confinement in a.. - Banerjee, Naumann (2002) (19 citations) (Correct)
.... result for user defined abstractions [3] The term confinement appears to originate in the literature on operating system security, but its use is natural in object oriented programming where pointer confinement has been proposed for encapsulation at the level of modules, classes, or instances [16, 8, 18, 5, 31]. For information flow, we impose a confinement condition on high security pointers. The following section is a detailed overview of the paper. Section 3 formalizes the language and its semantics. Section 4 gives the security typing system. Section 5 deals with confinement, which is then used in ....
D. G. Clarke, J. Noble, and J. M. Potter. Simple ownership types for object containment. In J. L. Knudsen, editor, ECOOP 2001.
Ownership, Encapsulation and the Disjointness of Type and.. - Clarke, Drossopoulou (2002) Self-citation (Clarke) (Correct)
No context found.
David Clarke, James Noble, and John Potter. Simple ownership types for object containment. In ECOOP Proceedings, June 2001.
Permission-Based Ownership: Encapsulating State - In Higher-Order Typed (Correct)
No context found.
D. G. Clarke, J. M. Potter, and J. Noble. Simple Ownership Types for Object Containment. In European Conference on ObjectOriented Programming, 2001.
Jonathan Aldrich - Requirements For The (Correct)
No context found.
David G. Clarke, James Noble, and John M. Potter. Simple Ownership Types for Object Containment. Proc. European Conference on Object-Oriented Programming, Budapest, Hungary, June 2001.
Using Types to Enforce Architectural Structure - Jonathan Aldrich School (2003) (6 citations) (Correct)
No context found.
David G. Clarke, James Noble, and John M. Potter. Simple Ownership Types for Object Containment. Proc. European Conference on Object-Oriented Programming, Budapest, Hungary, June 2001.
Resources, Concurrency and Local Reasoning - O'Hearn (2005) (Correct)
No context found.
D. Clarke, J. Noble, and J. Potter. Simple ownership types for object containment. Proceedings of the 15th European Conference on Object-Oriented Programming, pages 53-76, Springer LNCS 2072.
Separation and Information Hiding - O'Hearn, Yang, Reynolds (2004) (3 citations) (Correct)
No context found.
D. Clarke, J. Noble, and J. Potter. Simple ownership types for object containment. ECOOP, LNCS 2072.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
David G. Clarke, James Noble, and John M. Potter. Simple ownership types for object containment. In European Conference for Object-Oriented Programming (ECOOP), June 2001.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
No context found.
D. G. Clarke, J. Noble, and J. M. Potter. Simple ownership types for object containment. In European Conference for Object-Oriented Programming (ECOOP), June 2001.
Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002) (21 citations) (Correct)
No context found.
D. G. Clarke, J. Noble, and J. M. Potter. Simple ownership types for object containment. In European Conference for Object-Oriented Programming (ECOOP), June 2001.
Refinement and Separation Contexts - Mijajlovic, Torp-Smith, O'Hearn (Correct)
No context found.
Clarke, D. G., Noble, J., Potter, J. M.: Simple Ownership Types for Object Containment. Proceedings of ECOOP. (2001)
Alias Annotations for Program Understanding - Aldrich, Kostadinov, Chambers (2002) (46 citations) (Correct)
No context found.
David G. Clarke, James Noble, and John M. Potter. Simple ownership types for object containment. In European Conference for Object-Oriented Programming, June 2001.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
No context found.
D. G. Clarke, J. Noble, and J. M. Potter. Simple ownership types for object containment. In European Conference for Object-Oriented Programming (ECOOP), June 2001.
Static support for capability-based programming in Java - Saraswat, Jagadeesan (Correct)
No context found.
D. Clarke, J. Noble, and J. Potter. Simple ownership types for object containment. In ECOOP, 2001.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
David G. Clarke, James Noble, and John M. Potter. Simple ownership types for object containment. In European Conference for Object-Oriented Programming (ECOOP), June 2001.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
David G. Clarke, James Noble, and John M. Potter. Simple ownership types for object containment. In European Conference for Object-Oriented Programming (ECOOP), June 2001.
ACM Conference on Object-Oriented Programming, Systems.. - Parameterized Type.. (Correct)
No context found.
D. G. Clarke, J. Noble, and J. M. Potter. Simple ownership types for object containment. In European Conference for Object-Oriented Programming (ECOOP), June 2001.
Resources, Concurrency and Local Reasoning - O'Hearn (Correct)
No context found.
D. Clarke, J. Noble, and J. Potter. Simple ownership types for object containment. Proceedings of the 15th European Conference on Object-Oriented Programming, pages 53-76, Springer LNCS 2072, 2001.
Ownership Types for Object Encapsulation - Boyapati, Liskov, Shrira (2003) (13 citations) (Correct)
No context found.
D. G. Clarke, J. Noble, and J. M. Potter. Simple ownership types for object containment. In European Conference for Object-Oriented Programming (ECOOP), June 2001.
Separation and Information Hiding - O'Hearn, Yang, Reynolds (2004) (3 citations) (Correct)
No context found.
D. Clarke, J. Noble, and J. Potter. Simple ownership types for object containment. ECOOP, LNCS 2072.
ACM Conference on Object-Oriented Programming, Systems.. - Parameterized Type.. (Correct)
No context found.
D. G. Clarke, J. Noble, and J. M. Potter. Simple ownership types for object containment. In European Conference for Object-Oriented Programming (ECOOP), June 2001.
Safe Runtime Downcasts With Ownership Types Chandrasekhar .. - Laboratory For Computer (Correct)
No context found.
D. G. Clarke, J. Noble, and J. M. Potter. Simple ownership types for object containment. In European Conference for Object-Oriented Programming (ECOOP), June 2001.
First 50 documents
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