Checking ownership and confinement

Concurrency and Computation: Practice and Experience

Volumn 16, Issue 7, 2004, Pages 671-687

  Potanin, Alex ^a   Noble, James ^a   Biddle, Robert ^a  

^a VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

Author keywords

Aliasing; Confinement; Object oriented programming; Ownership; Uniqueness

Indexed keywords

COMPUTER PROGRAMMING; GRAPH THEORY; OBJECT ORIENTED PROGRAMMING;

ALIASING; CONFINEMENT; OWNERSHIP; UNIQUENESS;

JAVA PROGRAMMING LANGUAGE;

EID: 2542465944     PISSN: 15320626     EISSN: None     Source Type: Journal    
DOI: 10.1002/cpe.799     Document Type: Conference Paper

References (32)

1. Noble J, Lea D (eds.). Special issue on aliasing in object-oriented systems. Software-Practice and Experience 2001; 31(6):505-614.
2. Boyland J, Noble J, Retert W. Capabilities for sharing. European Conference for Object-Oriented Programming (ECOOP), Budapest, June 2001. Springer: Berlin 2001.
3. Müller P, Poetzsch-Heffter A. Universes: A type system for controlling representation exposure. Programming Languages and Fundamentals of Programming, Femuniversität Hagen, 1999.
4. Noble J, Vitek J, Potter J. Flexible alias protection. European Conference for Object-Oriented Programming (ECOOP), Brussels, July 1998. Springer: Berlin, 1998.
5. Clarke D, Noble J, Potter J. Simple ownership types for object confinement. European Conference for Object-Oriented Programming (ECOOP), Budapest, June 2001. Springer: Berlin, 2001.
6. Clarke D, Potter J, Noble J. Ownership types for flexible alias protection. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Vancouver, October 1998. ACM Press: New York, 1998.
7. Bokowski B, Vitek J. Confined types. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Denver, CO, October 1999. ACM Press: New York 1999.
8. Grothoff C, Palsberg J, Vitek J. Encapsulating objects with confined types. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Tampa, FL, October 2001. ACM Press: New York, 2001.
9. Aldrich J, Kostadinov V, Chambers C. Alias annotations for program understanding. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Seattle, WA, November 2002. ACM Press: New York, 2002.
10. Boyapati C, Liskov B, Shrira L. Ownership types for object encapsulation. ACM Symposium on Principles of Programming Languages (POPL), New Orleans, LA, January 2003. ACM Press: New York, 2003.
11. Clarke D, Drossopoulou S. Ownership, encapsulation, and the disjointness of type and effect. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Seattle, WA, November 2002. ACM Press: New York, 2002.
12. Hogg J, Doug L, Wills A, de Champeaux D, Holt R. The Geneva Convention of the treatment of object aliasing. OOPS Messenger 1992; 3(2): 11-16.
13. Harms DE, Weide B. Copying and swapping: Influences on the design of reusable components. IEEE Transactions of Software Engineering 1991; 17(5):424-435.
14. Hogg J. Islands: Aliasing protection in object-oriented languages. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), vol. 26. ACM Press: New York, 1991; 271-285.
15. Almeida PS. Balloon types: Controlling sharing of state in data types. European Conference for Object-Oriented Programming (ECOOP), Jyväskylä, Finland, June 1997.
16. Boyland J. Alias burying: Unique variables without destructive reads. Software-Practice and Experience 2001; 31(6): 533-553.
17. Potter J, Noble J, Clarke D. The ins and outs of objects. European Conference for Object-Oriented Programming (ECOOP), Brussels, July 1998. Springer: Berlin, 1998.
18. Zimmermann T, Zeller A. Visualising memory graphs. Software Visualisation (Lecture Notes in Computer Science, vol. 2269). Springer: Berlin, 2001; 191-204.
19. Hobatr C, Malloy BA. The design of an OCL query-based debugger for C++. Proceedings of the 16th ACM SAC2001 Symposium on Applied Computing, Las Vegas, NV, March 2001. ACM Press: New York, 2001.
20. Lencevicius R. Advanced Debugging Methods. Kluwer: Dordrecht, 2000.
21. Hill T, Noble J, Potter J. Scalable visualisations with ownership trees. Proceedings TOOLS Pacific 2000, Sydney, Australia. IEEE Computer Society Press: New York, 2000.
22. Sun Microsystems. Java Development Kit. http://java.sun.com/j2se/[2002].
23. Sun Microsystems. Java Debug Interface, http://java.sun.eom/j2se/1.4.1/ docs/guide/jpda/jdi/index.html [2002].
24. Dieckmann S, Hölzle U. A study of the allocation behavior of the SPECjvm98 Java benchmarks. European Conference for Object-Oriented Programming (ECOOP) (Lecture Notes in Computer Science, vol. 1628). Springer: Berlin, 1999; 92-115.
25. Hill T, Noble J, Potter J. Scalable visualisations of object-oriented systems with ownership trees. Journal of Visual Languages and Computation 2002; 13(3):319-399.
26. Sun Microsystems. Java Virtual Machine Profiler Interface. http://java.sun.com/j2se/1.4.1/docs/guide/jvmpi/index.html [2002].
27. Foote B. Heap analysis tool, http://java.sun.com/people/billf/heap/[2002] .
28. Lengauer T, Tarjan RE. A fast algorithm for finding dominators in a flowgraph. ACM Transactions on Programming Languages and Systems 1979; 1(1):121-141.
29. Munzner T. H3viewer, http://graphics.stanford.edu/~munzner/h3/[2002].
30. Clarke D, Wrigstad T. External uniqueness. FOOL10, New Orleans, LA, January 2003. ACM Press: New York, 2003.
31. Potanin A. The Fox - a tool for Java object graph analysis. Technical Report 02/28, School of Mathematical and Computing Sciences, Victoria University of Wellington. http://www.mcs.vuw.ac.nz/comp/Publications/ [November 2002].
32. Potanin A. A tool for ownership and confinement analysis of the Java object graph. Technical Report 03/6, School of Mathematical and Computing Sciences, Victoria University of Wellington. http://www.mcs.vuw.ac.nz/comp/ Publications/ [May 2003].