CLARKE , D. G., POTTER, J. M., AND NOBLE, J. Ownership types for flexible alias protection. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (Vancouver, Canada, Oct.). ACM SIGPLAN Notices 33, 10 (Oct. 1998), pp. 48--64. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Ownership, Encapsulation and the Disjointness of Type and.. - Clarke, Drossopoulou (2002) Self-citation (Clarke) (Correct)
No context found.
David Clarke, John Potter, and James Noble. Ownership types for flexible alias protection. In OOPSLA Proceedings, 1998.
Creational Invariants - Cees Pierik Dave (2004) (1 citation) Self-citation (Clarke) (Correct)
No context found.
Clarke, D., Potter, J., Noble, J.: Ownership types for flexible alias protection. In: OOPSLA Proceedings. (1998)
Defaulting Generic Java to Ownership - Alex Potanin James (2004) Self-citation (Clarke Noble) (Correct)
No context found.
David Clarke, John Potter, and James Noble. Ownership types for flexible alias protection. In Proceedings of Conference on Object-Oriented Programming, Languages, and Applications. ACM Press, 1998.
Proceedings of the First International Workshop on Aliasing.. - (ed.) (2003) Self-citation (Clarke) (Correct)
No context found.
David G. Clarke, John M. Potter, and James Noble. Ownership types for flexible alias protection. In OOPSLA'98 Conference Proceedings, pages 48--64, October 1998. 72
Preemption-Based Avoidance of Priority Inversion for Java - Welc, Hosking, Jagannathan (2004) (Correct)
No context found.
CLARKE , D. G., POTTER, J. M., AND NOBLE, J. Ownership types for flexible alias protection. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (Vancouver, Canada, Oct.). ACM SIGPLAN Notices 33, 10 (Oct. 1998), pp. 48--64.
Transactional Monitors for Concurrent Objects - Adam Welc Suresh (Correct)
No context found.
CLARKE, D. G., POTTER, J. M., AND NOBLE, J. Ownership types for flexible alias protection. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (Vancouver, Canada, Oct.). ACM SIGPLAN Notices 33, 10 (Oct. 1998), pp. 48--64.
Safe Futures for Java - Welc, Jagannathan, Hosking (Correct)
No context found.
CLARKE , D. G., POTTER, J. M., AND NOBLE, J. Ownership types for flexible alias protection. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and 10 (Oct. 1998), pp. 48--64.
Permission-Based Ownership: Encapsulating State - In Higher-Order Typed (Correct)
No context found.
D. G. Clarke, J. M. Potter, and J. Noble. Ownership Types for Flexible Alias Protection. In Object-Oriented Programming Systems, Languages, and Applications, October 1998.
Jonathan Aldrich - Requirements For The (Correct)
No context found.
David G. Clarke, John M. Potter, and James Noble. Ownership Types for Flexible Alias Protection. Proc. Object-Oriented Programming Systems, Languages and Applications, Vancouver, Canada, October 1998.
UML-based Alias Control - Liu, Milanova (Correct)
No context found.
D. Clarke, J. Potter, and J. Noble. Ownership types for flexible alias protection. In OOPSLA, pages 48--64, 1998.
Precise Identification of Composition Relationships for UML.. - Milanova (2005) (Correct)
No context found.
D. Clarke, J. Potter, and J. Noble. Ownership types for flexible alias protection. In OOPSLA, 1998.
Composition Inference for UML Class Diagrams - Milanova (2006) (Correct)
No context found.
D. Clarke, J. Potter, and J. Noble. Ownership types for flexible alias protection. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 48--64, 1998.
Precise Identification of Composition Relationships for UML.. - Milanova (2005) (Correct)
No context found.
D. Clarke, J. Potter, and J. Noble. Ownership types for flexible alias protection. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 48--64, 1998.
Link-Time Enforcement of Confined Types for JVM Bytecode - Philip Fong Department (2005) (Correct)
No context found.
David Clarke, John Potter, and James Noble. Ownership types for flexible alias protection. In Proceedings of the 13th ACM Conference on Object-Oriented pages 48--64, Vancouver, BC, October 1998.
Ensuring Invariant Contracts for Modules in Java - Andreas Roth And (2004) (Correct)
No context found.
D. Clarke, J. Potter, and J. Noble. Ownership types for flexible alias protection. In ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'98), Vancouver, Canada, October 1998.
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
No context found.
David Clarke, John Potter, and James Noble. Ownership types for flexible alias protection. In Proceedings of the ACM Conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA'98), pages 48-- 64, Vancouver, BC, October 1998.
Exceptions in Ownership Type Systems - Dietl, Müller (2004) (Correct)
No context found.
D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. In Proceedings of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), volume 33(10) of ACM SIGPLAN Notices, October 1998.
On Decision Procedures for Set-Valued Fields - Kuncak, Rinard (2004) (Correct)
No context found.
Clarke, D. G., J. M. Potter and J. Noble, Ownership types for flexible alias protection, in: Proc. 13th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, 1998.
Object Models, Heaps, and Interpretations - Martin Rinard And (Correct)
No context found.
David G. Clarke, John M. Potter, and James Noble. Ownership types for flexible alias protection. In Proc. 13th Annual ACM Conference on ObjectOriented Programming, Systems, Languages, and Applications, 1998.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
No context found.
D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 1998.
Ensuring Invariant Contracts for Modules in Java - Roth, Schmitt (Correct)
No context found.
D. Clarke, J. Potter, and J. Noble. Ownership types for flexible alias protection. In ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'98), Vancouver, Canada, October 1998.
Alias Annotations for Program Understanding - Aldrich, Kostadinov, Chambers (2002) (46 citations) (Correct)
No context found.
David G. Clarke, John M. Potter, and James Noble. Ownership types for Flexible Alias Protection. In OOPSLA'98 Conference Proceedings---Object-Oriented Programming Systems, Languages and Applications, Vancouver, Canada, October 18--22, ACM SIGPLAN Notices, 33(10):48--64, October 1998.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
No context found.
D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 1998.
Capabilities as Alias Control: Secure Cooperation in.. - Fong, Zhang (2004) (Correct)
No context found.
David Clarke, John Potter, and James Noble. Ownership types for flexible alias protection. In Proceedings of the 13th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 48--64, Vancouver, BC, Canada, October 1998.
Object Models, Heaps, and Interpretations - Martin Rinard And (Correct)
No context found.
David G. Clarke, John M. Potter, and James Noble. Ownership types for flexible alias protection. In Proc. 13th Annual ACM Conference on ObjectOriented Programming, Systems, Languages, and Applications, 1998.
First 50 documents Next 50
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