External uniqueness is unique enough

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

Volumn 2743, Issue , 2003, Pages 176-200

  Clarke, Dave ^a   Wrigstad, Tobias ^b  

^a UTRECHT UNIVERSITY   (Netherlands)

^b STOCKHOLM UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

AGGREGATES;

OWNERSHIP TYPE;

OBJECT ORIENTED PROGRAMMING;

EID: 35248876311     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45070-2_9     Document Type: Article

References (42)

1. Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers. Alias annotations for program understanding. In OOPSLA Proceedings, November 2002.
2. Paulo Sérgio Almeida. Balloon Types: Controlling sharing of state in data types. In ECOOP Proceedings, June 1997.
3. David F. Bacon, Robert E. Strom, and Ashis Tarafdar. Guava: a dialect of Java without data races. In OOPSLA Proceedings, pages 382-400, 2000.
4. Henry G. Baker. 'Use-once' variables and linear objects - storage management, reflection and multi-threading. ACM SIGPLAN Notices, 30(1), January 1995.
5. Anindya Banerjee and David A. Naumann. Representation independence, confinement, and access control. In Proceedings of the 29th ACM Symposium on Principles of Programming Languages (POPL'02), Portland, Oregon, January 2002.
6. Greg Bollella, James Gosling, Benjamin Brosgol, Peter Dibble, Steve Furr, and Mark Turnbull. The Red-Time Specification for Java. Addison-Wesley, 2000.
7. Chandrasekhar Boyapati, Robert Lee, and Martin Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In OOPSLA Proceedings, November 2002.
8. Chandrasekhar Boyapati, Barbara Liskov, and Liuba Shrira. Ownership types and safe lazy upgrades in object-oriented databases. Technical Report MIT-LCS-TR-858, Laboratory for Computer Science, MIT, July 2002.
9. Chandrasekhar Boyapati and Martin Rinard. A parameterized type system for race-free Java programs. In OOPSLA Proceedings, 2001.
10. Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, and Martin Rinard. Ownership types for safe region-based memory management in real-time Java. In ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI), June 2003.
11. John Boyland. Alias burying: Unique variables without destructive reads. Software - Practice and Experience, 31(6):533-553, May 2001.
12. John Boyland. The interdependence of effects and uniqueness. In 3rd Workshop on Formal Techniques for Java Programs, June 2001.
13. John Boyland, James Noble, and William Retert. Capabilities for Sharing: A Generalization of Uniqueness and Read-Only. In ECOOP Proceedings, June 2001.
14. M. V. Christiansen and P. Velschrow. Region-based memory management in Java. Master's thesis, Department of Computer Science (DIKU), University of Copenhagen, May 1998.
15. David Clarke. Object Ownership and Containment. PhD thesis, School of Computer Science and Engineering, University of New South Wales, Sydney, Australia, 2001.
16. David Clarke and Sophia Drossopolou. Ownership, encapsulation and the disjointness of type and effect. In OOPSLA Proceedings, November 2002.
17. David Clarke, John Potter, and James Noble. Ownership types for flexible alias protection. In OOPSLA Proceedings, 1998.
18. David Clarke and Tobias Wrigstad. External uniqueness. In 10th Workshop on Foundations of Object-Oriented Languages (FOOL), New Orleans, LA, January 2003.
19. Robert DeLine and Manuel Fähndrich. Enforcing high-level protocols in low-level software. In Proceedings of the ACM Conference on Programming Language Design and Implementation, pages 59-69, June 2001.
20. David L. Detlefs, K. Rustan M. Leino, and Greg Nelson. Wrestling with rep exposure. Technical Report SRC-RR-98-156, Compaq Systems Research Center, July 1998.
21. Manuel Fähndrich and Robert DeLine. Adoption and focus: Practical linear types for imperative programming. In Proceedings of the ACM Conference on Programming Language Design and Implementation, June 2002.
22. Manuel Fähndrich and K. Rustan M. Leino. Non-null types in an object-oriented language. In Erik Poll, editor, Formal Techniques for Java-like Programs, Malaga, Spain, June 2002. Appears in Technical report NIII-R0204, Computing Science Department, University of Nijmegen, 2002.
23. Erich Gamma, Richard Helm, Ralph E. Johnson, and John Vlissides. Design Patterns. Addison-Wesley, 1994.
24. David Gay and Alex Aiken. Language support for regions. In ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, June 2001.
25. J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1-102, 1987.
26. Aaron Greenhouse and John Boyland. An object-oriented effects system. In ECOOP'99,1999.
27. Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, and James Cheney. Region-based memory management in Cyclone. In Proceedings of the ACM Conference on Programming Language Design and Implementation, June 2002.
28. Christian Grothoff, Jens Palsberg, and Jan Vitek. Encapsulating objects with confined types. In OOPSLA Proceedings, 2001.
29. John Hogg. Islands: Aliasing protection in object-oriented languages. In OOPSLA Proceedings, November 1991.
30. Won Kim, Elisa Bertino, and Jorge F Garza. Composite objects revisited. In Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, pages 337-347, Portland, Oregon, 1989.
31. Naoki Kobayashi. Quasi-linear types. In 26th ACM Symposium on Principles of Programming Languages, January 1999.
32. Doug Lea. Concurrent-Programming in Java: Design Principles and Patterns. Java Series. Addision-Wesley, 1998.
33. K. Rustan M. Leino, Arnd Poetzsch-Heffter, and Yunhong Zhou. Using data groups to specify and check side effects. In Proceedings of the ACM Conference on Programming Language Design and Implementation, June 2002.
34. K. Rustan M. Leino and Raymie Stata. Virginity: A contribution to the specification of object-oriented software. Information Processing Letters, 70(2):99-105, April 1999.
35. Naftaly Minsky. Towards alias-free pointers. In ECOOP Proceedings, July 1996.
36. 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.
37. 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 1988. Springer-Verlag.
38. John Potter, James Noble, and David Clarke. The ins and outs of objects. In Australian Software Engineering Conference, Adelaide, Australia, November 1998. IEEE Press.
39. J.-P Talpin and P. Jouvelot. Polymorphic type, region, and effect inference. Journal of Functional Programming, 2(3):245-271, July 1992.
40. Mads Tofte and Jean-Pierre Talpin. Region-Based Memory Management. Information and Computation, 132(2):109-176, 1997.
41. Phil Wadler. Linear types can change the world! In M. Broy and C. B. Jones, editors, IFIP TC 2 Working Conference on Programming Concepts and Methods, pages 561-581, Sea of Gallilee, Israel, April 1990. North-Holland.
42. Bennett Norton Yates. A type-and-effect system for encapsulating memory in Java. Master's thesis, Department of Computer and Information Science and the Graduate School of the University of Oregon, August 1999.