Wnership domains: Separating aliasing policy from mechanism

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3086, Issue , 2004, Pages 1-25

  Aldrich, Jonathan ^a,b   Chambers, Craig ^a,b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

ALIASING; ENCAPSULATION POLICIES; FINE-GRAINED CONTROL; INTER-DOMAIN; MULTIPLE OWNERSHIPS; OWNERSHIP TYPE; PROGRAMMING IDIOMS;

OBJECT ORIENTED PROGRAMMING;

EID: 35048849111     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24851-4_1     Document Type: Article

References (27)

1. . J. Aldrich. Using Types to Enforce Architectural Structure. PhD thesis, University of Washington, August 2003.
2. J. Aldrich and C. Chambers. Ownership Domains: Separating Aliasing Policy from Mechanism. Carnegie Mellon Technical Report CMU-ISRI-04-110, available at http://www.cs.cmu.edu/~aldrich/papers/, April 2004.
3. J. Aldrich, C. Chambers, and D. Notkin. Architectural Reasoning with ArchJava. In European Conference on Object-Oriented Programming, June 2002.
4. J. Aldrich, V. Kostadinov, and C. Chambers. Alias Annotations for Program Understanding. In Object-Oriented Programming Systems, Languages, and Applications, November 2002.
5. P. S. Almeida. Balloon Types: Controlling Sharing of State in Data Types. In European Conference on Object-Oriented Programming, June 1997.
6. A. Banerjee and D. A. Naumann. Representation Independence, Confinement, and Access Control. In Principles of Programming Languages, January 2002.
7. B. Bokowski and J. Vitek. Confined Types. In Object-Oriented Programming Systems, Languages, and Applications, November 1999.
8. C. Boyapati, R. Lee, and M. Rinard. Ownership Types for Safe Programming: Preventing Data Races and Deadlocks. In Object-Oriented Programming Systems, Languages, and Applications, November 2002.
9. . C. Boyapati, A. Salcianu, J. William Beebee, and M. Rinard. Ownership Types for Safe Region-Based Memory Mangement in Real-Time Java. In Programming Language Design and Implementation, June 2003.
10. D. Clarke. Object Ownership & Containment. PhD thesis, University of New South Wales, July 2001.
11. D. Clarke and S. Drossopoulou. Ownership, Encapsulation, and the Disjointness of Type and Effect. In Object-Oriented Programming Systems, Languages, and Applications, November 2002.
12. D. Clarke and T. Wrigstad. External Uniqueness is Unique Enough. In European Conference on Object-Oriented Programming, July 2003.
13. 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.
14. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.
15. D. Garlan and M. Shaw. An Introduction to Software Architecture. In V. Ambriola and G. Tortora, editors, Advances in Software Engineering and Knowledge Engineering, I, 1993.
16. A. Greenhouse and J. Boyland. An Object-Oriented Effects System. In European Conference on Object-Oriented Programming, June 1999.
17. J. Hogg. Islands: Aliasing Protection in Object-Oriented Languages. In ObjectOriented Programming Systems, Languages, and Applications, October 1991.
18. A. Igarashi, B. Pierce, and P. Wadler. Featherwieght Java: a Minimal Core Calculus for Java and GJ. In Object-Oriented Programming Systems, Languages, and Applications, November 1999.
19. P. Lam and M. Rinard. A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. In European Conference on ObjectOriented Programming, July 2003.
20. K. R. M. Leino, A. Poetzsch-Heffter, and Y. Zhou. Using Data Groups to Specify and Check Side Effects. In Programming Language Design and Implementation, June 2002.
21. P. Muller and A. Poetzsch-Heffter. Universes: A Type System for Controlling Representation Exposure. In A. Poetzsch-Heffter and J. Meyer, editors, Programming Languages and Fundamentals of Programming, 1999.
22. J. Noble, R. Biddle, E. Tempero, A. Potanin, and D. Clarke. Towards a Model of Encapsulation. In Intercontinental Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming, July 2003.
23. J. Noble, J. Vitek, and J. Potter. Flexible Alias Protection. In European Conference on Object-Oriented Programming, 1998.
24. A. Potanin, J. Noble, D. Clarke, and R. Biddle. Featherweight Generic Confinement. In Foundations of Object-Oriented Languages, January 2004.
25. J. C. Reynolds. Separation Logic: a Logic for Shared Mutable Data Structures. In Logic in Computer Science, July 2002.
26. K. Sullivan and D. Notkin. Reconciling Environment Integration and Software Evolution. Transactions on Software Engineering and Methodology, 1(3), July 1992.
27. D. Walker and G. Morrisett. Alias Types for Recursive Data Structures. In International Workshop on Types in Compilation, September 2000.