Dave Clarke and Tobias Wrigstad. External Uniqueness is Unique Enough. Proc. European Conference on Object-Oriented Programming, Darmstadt, Germany, July 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Ownership Types for Safe Region-Based Memory.. - Boyapati.. (2003) (4 citations) (Correct)
....with shared regions, or real time programs with real time threads (although it should be possible to extend them to do so) Conversely, it should also be possible to apply these techniques to our system. In fact, existing systems already combine ownershipbased type systems and unique pointers [20, 14, 3]. RegJava [16] has a region type system for object oriented programs that supports subtyping and method overriding. Cyclone [34] is a dialect of C with a region type system. Our work improves on these two systems by combining the benefits of ownership types and region types in a unified ....
D. G. Clarke and T. Wrigstad. External uniqueness is unique enough. In European Conference for Object-Oriented Programming (ECOOP), July 2003.
Ownership: Transfer, Sharing, and Encapsulation - Banerjee, Naumann (Correct)
....about representation independence (i.e. class equivalence) for sequential Java programs on the basis of a flexible form of ownership confinement. To handle ownership transfer, it turns out that we also need an additional confinement property which is a strengthening of external uniqueness [9]. To be useful, a confinement discipline should (a) ensure some invariant that facilitates modular reasoning about some property of interest; b) be sufficiently flexible to be applicable and useful for an interesting class of programs; and (c) be amenable to efficient static checking. Let us ....
David Clarke and Tobias Wrigstad. External uniqueness is unique enough. In European Conference on Object Oriented Programming (ECOOP), 2003. to appear.
Ownership Types for Safe Region-Based Memory.. - Boyapati.. (2003) (4 citations) (Correct)
....with shared regions, or real time programs with real time threads (although it should be possible to extend them to do so) Conversely, it should also be possible to apply these techniques to our system. In fact, existing systems already combine ownershipbased type systems and unique pointers [20, 14, 3]. RegJava [16] has a region type system for object oriented programs that supports subtyping and method overriding. Cyclone [34] is a dialect of C with a region type system. Our work improves on these two systems by combining the bene ts of ownership types and region types in a uni ed ....
D. G. Clarke and T. Wrigstad. External uniqueness is unique enough. In European Conference for Object-Oriented Programming (ECOOP), July 2003.
Towards a Model of Encapsulation - Noble, Biddle, Tempero, Potanin.. (2 citations) Self-citation (Clarke) (Correct)
No context found.
Dave Clarke and Tobias Wrigstrad. External uniqueness is unique enough. In ECOOP Proceedings, 2003.
Jonathan Aldrich - Requirements For The (Correct)
No context found.
Dave Clarke and Tobias Wrigstad. External Uniqueness is Unique Enough. Proc. European Conference on Object-Oriented Programming, Darmstadt, Germany, July 2003.
Exceptions in Ownership Type Systems - Dietl, Müller (2004) (Correct)
No context found.
D. G. Clarke and T. Wrigstad. External uniqueness is unique enough. In L. Cardelli, editor, European Conference for Object-Oriented Programming (ECOOP), volume 2743 of Lecture Notes in Computer Science, pages 176--200. Springer-Verlag, 2003.
Ownership Transfer and Abstraction - Banerjee, Naumann (2003) (Correct)
No context found.
David Clarke and Tobias Wrigstad. External uniqueness is unique enough. In European Conference on Object Oriented Programming (ECOOP), 2003.
Technical Report - Number Computer Laboratory (1993) (2 citations) (Correct)
No context found.
Clarke, D., and Wrigstad, T. External uniqueness is unique enough. In Proceedings of the 17th European Conference for Object-Oriented Programming (ECOOP) (July 2003), vol. 2743 of LNCS, Springer-Verlag.
Object Invariants in Dynamic Contexts - Leino, Müller (2004) (3 citations) (Correct)
No context found.
Dave G. Clarke and Tobias Wrigstad. External uniqueness is unique enough. In Luca Cardelli, editor, ECOOP 2003---Object-Oriented Programming, 17th European Conference, volume 2743 of Lecture Notes in Computer Science, pages 176--200. Springer, 2003.
Confinement and Representation Encapsulation in Object Teams - Herrmann (2004) (Correct)
No context found.
D. Clarke and T. Wrigstrad. External uniqueness is unique enough. In Proc. ECOOP 2003.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
No context found.
D. G. Clarke and T. Wrigstad. External uniqueness is unique enough. In European Conference for Object-Oriented Programming (ECOOP), July 2003.
Cheaper Reasoning with Ownership Types - Smith, Drossopoulou (2003) (4 citations) (Correct)
No context found.
Dave Clarke and Tobias Wrigstad. External uniqueness is unique enough. In ECOOP 2003.
Linear Types for Packet Processing - Robert Ennals Richard (2004) (2 citations) (Correct)
No context found.
Clarke, D., and Wrigstad, T. External uniqueness is unique enough. In Proceedings of the 17th European Conference for Object-Oriented Programming (ECOOP) (July 2003), vol. 2743 of LNCS, Springer-Verlag.
Verification of Object-Oriented Programs with Invariants - Barnett, DeLine.. (2004) (11 citations) (Correct)
No context found.
Dave G. Clarke and Tobias Wrigstad. External uniqueness is unique enough. In Luca Cardelli, editor, ECOOP 2003.
Safe Runtime Downcasts With Ownership Types - Boyapati, Lee, Rinard (2003) (2 citations) (Correct)
No context found.
D. G. Clarke and T. Wrigstad. External uniqueness is unique enough. In European Conference for Object-Oriented Programming (ECOOP), July 2003.
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