J. Aldrich, V. Kostadinov, and C. Chambers. Alias Annotations for Program Understanding. In Object-Oriented Programming Systems, Languages, and Applications, November 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Permission-Based Ownership: Encapsulating State - In Higher-Order Typed Self-citation (Aldrich) (Correct)
No context found.
J. Aldrich, V. Kostadinov, and C. Chambers. Alias Annotations for Program Understanding. In Object-Oriented Programming Systems, Languages, and Applications, November 2002.
Jonathan Aldrich - Requirements For The Self-citation (Aldrich Chambers) (Correct)
No context found.
Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers. Alias Annotations for Program Understanding. Proc. Object Oriented Programming Systems, Languages and Applications, Seattle, Washington, November 2002.
Using Types to Enforce Architectural Structure - Jonathan Aldrich School (2003) (6 citations) Self-citation (Aldrich) (Correct)
No context found.
Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers. Alias Annotations for Program Understanding. Proc. Object-Oriented Programming Systems, Languages and Applications, Seattle, Washington, November 2002.
EGO: Controlling the Power of Simplicity - Bejleri, Aldrich, Bierhoff (2006) Self-citation (Aldrich) (Correct)
No context found.
J. Aldrich, V. Kostandinov, C. Chambers. Alias Annotations for Program Understanding. Proc. Object-Oriented Programming, Systems, Languages, and Applications, November 2002.
UML-based Alias Control - Liu, Milanova (Correct)
No context found.
J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In OOPSLA, pages 311--330, 2002.
Precise Identification of Composition Relationships for UML.. - Milanova (2005) (Correct)
No context found.
J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In OOPSLA, 2002.
Composition Inference for UML Class Diagrams - Milanova (2006) (Correct)
No context found.
J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 311--330, 2002.
Precise Identification of Composition Relationships for UML.. - Milanova (2005) (Correct)
No context found.
J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 311--330, 2002.
Link-Time Enforcement of Confined Types for JVM Bytecode - Philip Fong Department (2005) (Correct)
No context found.
J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Proceedings of the 17th ACM Conference on Object-Oriented pages 311--330, Seattle, Washington, November 2002.
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
No context found.
Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers. Alias annotations for program understanding. In Proceedings of the 17th ACM Conference on Object-oriented Programming, Systems, Languages, and Applications, pages 311--330, Seattle, Washington, November 2002.
Ownership, Encapsulation and the Disjointness of Type and.. - Clarke, Drossopoulou (2002) (Correct)
No context found.
Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers. Alias annotations for program understanding. In OOPSLA, November 2002.
Exceptions in Ownership Type Systems - Dietl, Müller (2004) (Correct)
No context found.
J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Proceedings of Object-Oriented Programming Systems, Languages, and Applications, 2002.
Defaulting Generic Java to Ownership - Alex Potanin James (2004) (Correct)
No context found.
J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In ACM Conference on Object-Oriented Programming Languages, Applications, Languages, and Systems (OOPSLA), November 2002.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers. Alias annotations for program understanding. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
Lazy Modular Upgrades in Persistent Object Stores - Boyapati, Liskov, Shrira.. (2003) (3 citations) (Correct)
No context found.
J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
No context found.
J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002) (21 citations) (Correct)
No context found.
J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
No context found.
J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
Capabilities as Alias Control: Secure Cooperation in.. - Fong, Zhang (2004) (Correct)
No context found.
Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers. Alias annotations for program understanding. In Proceedings of the 17th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 311--330, Seattle, Washington, USA, November 2002.
Ownership Transfer and Abstraction - Banerjee, Naumann (2003) (Correct)
No context found.
Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers. Alias annotations for program understanding. In ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA). ACM Press, 2002.
Lazy Modular Upgrades in Persistent Object Stores - Boyapati, Liskov, Shrira.. (2003) (3 citations) (Correct)
No context found.
J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
Connecting Effects and Uniqueness with Adoption - Boyland (Correct)
No context found.
Aldrich, J., Kostadinov, V., Chambers, C.: Alias annotations for program understanding. In: OOPSLA'02 Conference Proceedings---Object-Oriented Programming Systems, Languages and Applications, New York, ACM Press (2002) 311--330
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers. Alias annotations for program understanding. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers. Alias annotations for program understanding. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
No context found.
J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002. Chandrasekhar Boyapati et al.
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