Simple ownership types for object containment

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

Volumn 2072 LNCS, Issue , 2001, Pages 53-76

  Clarke, David G ^a   Noble, James ^b   Potter, John M ^c  

^a UTRECHT UNIVERSITY   (Netherlands)

^b VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

^c UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Flexible alias protection; Object containment; OO type systems; Ownership types

Indexed keywords

CALCULATIONS; TREES (MATHEMATICS); JAVA PROGRAMMING LANGUAGE;

FLEXIBLE ALIAS PROTECTION; FORMAL SYSTEMS; HIGH-LEVEL STRUCTURE; OBJECT CALCULI; OBJECT CONTAINMENT; OBJECT REFERENCE; OWNERSHIP TYPE; TYPE SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 84881381868     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45337-7_4     Document Type: Conference Paper

References (38)

1. Martín Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag, 1996.
2. Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, and Susan Eggers. Static analyses for eliminating unnecessary synchronization from Java programs. In Sixth International Static Analysis Symposium. Springer-Verlag, September 1999.
3. Paulo Sérgio Almeida. Balloon Types: Controlling sharing of state in data types. In ECOOP Proceedings, June 1997.
4. David F. Bacon, Robert E. Strom, and Ashis Tarafdar. Guava: A dialect of Java without data races. In OOPSLA'00 Conference Proceedings - Object-Oriented Programming Systems, Languages and Applications, volume 35, pages 382-400, New York, October 2000. ACM Press.
5. Henry G. Baker. 'Use-once' variables and linear objects - storage management, reflection and multi-threading. ACM SIGPLAN Notices, 30(1), January 1995.
6. Bruno Blanchet. Escape analysis for object-oriented languages. application to Java. In OOPSLA Proceedings, pages 20-34. ACM, 1999. (Pubitemid 32213973)
7. Jeff Bogda and Urs Hölzle. Removing unnecessary synchronization in Java. In OOPSLA Proceedings, pages 35-46. ACM, 1999.
8. Boris Bokowski and Jan Vitek. Confined Types. In OOPSLA Proceedings, 1999.
9. John Boyland. Alias burying. Software - Practice & Experience, 2001. To appear.
10. Edwin C. Chan, John T. Boyland, and William L. Scherlis. Promises: Limitied specifications for analysis and manipulation. In IEEE International Conference on Software Engineering (ICSE), 1998.
11. Jong-Deok Choi, M. Gupta, Mauricio Serrano, Vugranam C. Sreedhar, and Sam Midkiff. Escape analysis for Java. In OOPSLA Proceedings, pages 1-19. ACM, 1999.
12. Franco Civello. Roles for composite objects in object-oriented analysis and design. In OOPSLA Proceedings, 1993.
13. David Clarke. An object calculus with ownership and containment. In Foundations of Object-Oriented Languages (FOOL) 2001, 2001.
14. David Clarke. Object Ownership and Containment. PhD thesis, School of Computer Science and Engineering, University of New South Wales, Sydney, Australia, 2001. In preparation.
15. David G. Clarke, John M. Potter, and James Noble. Ownership types for flexible alias protection. In OOPSLA Proceedings, 1998.
16. Alain Deutsch. Interprocedural May-Alias Analysis for Pointers: Beyond klimiting. In Proceedigns of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation, June 1994.
17. Jin Song Dong and Roger Duke. Exclusive control within object oriented systems. In TOOLS Pacific 18, 1995.
18. Daniela Genius, Martin Trapp, and Wolf Zimmermann. An approach to improve locality using sandwich types. In Proceedings of the 2nd Types in Compilation workshop, number 1473 in Lecture Notes in Computer Science, pages 194-214, Kyoto, Japan, March 1998. Springer-Verlag.
19. A. D. Gordon, P. D. Hankin, and S. B. Lassen. Compilation and equivalence of imperative objects. Journal of Functional Programming, 9(4):373-426, July 1999.
20. Peter Grogono and Patrice Chalin. Copying, sharing, and aliasing. In Proceedings of the Colloquium on Object Orientation in Databases and Software Engineering (COODBSE'94), Montreal, Quebec, May 1994.
21. Douglas E. Harms and Bruce W. Weide. Copying and swapping: Influences on the design of reusable software components. IEEE Transactions on Software Engineering, 17(5), May 1991.
22. Laurie J. Hendren and G. R. Gao. Designing programming languages for analyzability: A fresh look at pointer data structures. In Proceedings of the IEEE 1992 International Conference on Programming Languages, April 1992.
23. John Hogg. Islands: Aliasing protection in object-oriented languages. In OOPSLA Proceedings, November 1991.
24. John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, and Richard Holt. The Geneva convention on the treatment of object aliasing. OOPS Messenger, 3(2), April 1992.
25. Neil D. Jones and Steven Muchnick. Flow analysis and optimization of LISP-like structures. In Steven Muchnick and Neil D. Jones, editors, Program Flow Analysis: Theory and Applications. Prentice Hall, 1981.
26. Stuart Kent and Ian Maung. Encapsulation and aggregation. In TOOLS Pacific 18, 1995.
27. William Landi. Undecidability of static analysis. ACM Letters on Programming Languages and Systems, 1(4), December 1992.
28. K. Rustan M. Leino and Raymie Stata. Virginity: A contribution to the specification of object-oriented software. Technical Report SRC-TN-97-001, Digital Systems Research Center, April 1997.
29. Bertrand Meyer. Eiffel: The Language. Prentice Hall, 1992.
30. Naftaly Minsky. Towards alias-free pointers. In ECOOP Proceedings, July 1996.
31. P. Müller 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. Fernuniversität Hagen, 1999.
32. James Noble, David Clarke, and John Potter. Object ownership for dynamic alias protection. In TOOLS Pacific, Melbourne, Australia, November 1999.
33. James Noble, Jan Vitek, and Doug Lea. Report of the Intercontinental Workshop on Aliasing in Object-Oriented Systems, volume 1743 of Lecture Notes in Computer Science. Springer, Berlin, Heidelberg, New York, 2000.
34. James Noble, Jan Vitek, and John Potter. Flexible alias protection. In Eric Jul, editor, ECOOP'98 - Object-Oriented Programming, volume 1445 of Lecture Notes In Computer Science, pages 158-185, Berlin, Heidelberg, New York, July 1998. Springer-Verlag.
35. John Potter and James Noble. Conglomeration: Realising aliasing protection. In Proceedings of the Australian Computer Science Conference (ACSC), Canberra, January 2000.
36. John Potter, James Noble, and David Clarke. The ins and outs of objects. In Australian Software Engineering Conference, Adelaide, Australia, November 1998. IEEE Press.
37. Amr Sabry and Matthias Felleisen. Reasoning about programs in continuation-passing style. In 1992 ACM Conference on LISP and Functional Programming, pages 288-298, San Francisco, CA, June 1992. ACM.
38. John Whaley and Martin Rinard. Compositional pointer and escape analysis for Java programs. In OOPSLA'99 Conference Proceedings - Object-Oriented Programming Systems, Languages and Applications, volume 34, pages 187-206, New York, October 1999. ACM Press.