Multiple ownership

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2007, Pages 441-460

  Cameron, Nicholas R ^a   Drossopoulou, Sophia ^a   Noble, James ^b   Smith, Matthew J ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

Author keywords

Languages; Theory

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; NEODYMIUM; OBJECT ORIENTED PROGRAMMING; PHOTOACOUSTIC EFFECT; QUERY LANGUAGES; TREES (MATHEMATICS);

DAG STRUCTURES; DESIGN PATTERNS; INTERNATIONAL CONFERENCES; LANGUAGES (TRADITIONAL); MULTIPLE OBJECTS; OBJECT-ORIENTED PROGRAMMING; OWNERSHIP STRUCTURES; PROGRAMMING LANGUAGE; TREE STRUCTURES; TYPE SYSTEMS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 42149135399     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1297027.1297060     Document Type: Conference Paper

References (50)

1. Marwan Abi-Antoun and Jonathan Aldrich. Ownership domains in the real world. In IWACO workshop at ECOOP, 2007.
2. Jonathan Aldrich and Craig Chambers. Ownership domains: Separating aliasing policy from mechanism. In ECOOP, 2004.
3. Christopher Alexander. A city is not a tree. Design, (206), 1966.
4. Paulo Sérgio Almeida. Balloon types: Controlling sharing of state in data types. In ECOOP, 1997.
5. Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, and Tian Zhao. Scoped types and aspects for real-time Java. In ECOOP, 2006.
6. Gareth Baxter, Marcus R. Frean, James Noble, Mark. Rickerby, Hayden Smith, Matt Visser, Hayden Melton, and Ewan D. Tempero. Understanding the shape of Java software. In OOPSLA, 2006.
7. Boris Bokowski and Jan Vitek. Confined types. In OOPSLA, 1999.
8. Chandrasekhar Boyapati, Robert Lee, and Martin Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In OOPSLA, November 2002.
9. Chandrasekhar Boyapati and Martin Rinard. A Parameterized Type System for Race-Free Java Programs. In OOPSLA, pages 56-69, Tampa Bay, FL, USA, 2001.
10. John Boyland and William Retert. Connecting effects and uniqueness with adoption. In POPL, 2005.
11. Nicholas Cameron, Erik Ernst, and Sophia Drossopoulou. Towards an existential types model for Java with wildcards. In FTfJP workshop at ECOOP, 2007.
12. Dave Clarke. Object Ownership and Containment. PhD thesis, UNSW, Australia, 2002.
13. Dave Clarke and Sophia Drossopoulou. Ownership, Encapsulation, and the Disjointness of Type and Effect. In OOPSLA, 2002.
14. David Clarke, John Potter, and James Noble. Ownership types for flexible alias protection. In OOPSLA, 1998.
15. Curtis Clifton. A design discipline and language features for modular reasoning in aspect-oriented programs. PhD thesis, Iowa State, 2005.
16. Curtis Clifton, Gary T. Leavens, and James Noble. Ownership and effects for more effective reasoning about aspects. In ECOOP, 2007.
17. Gilles Deleuze and Félix Guattari. A Thousand Plateaus: Capitalism and Schizophrenia. U. Minnesota, 1987.
18. Werner Dietl, Sophia Drossopoulou, and Peter Müller. Generic universe types. In ECOOP, 2007.
19. Sophia Drossopoulou. The benefits of putting objects into boxes. ESOP, 2006. Invited Talk.
20. Cormac Flanagan, Stephen N. Freund, and Marina Lifshin. Type inference for atomicity. In TLDI, 2005.
21. Joseph Gil, John Howse, and Stuart Kent. Towards a formalization of constraint diagrams. In HCC, 2001.
22. Aaron Greenhouse and John Boyland. An object-oriented effects system. In ECOOP, 1999.
23. Christian Grothoff, Jens Palsberg, and Jan Vitek. Encapsulating Objects with Confined Types. In OOPSLA, 2001.
24. Ralf Hinze. The Fun of Programming, chapter Fun with Phantom Types, pages 245-262. Palgrave Macmillan, 2003.
25. John Hogg. Islands: Aliasing protection in objectoriented languages. In OOPSLA, 1991.
26. Atsushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In OOPSLA, November 1999.
27. Daniel Jackson. Aspect: Detecting bugs with abstract dependences. ACM ToSEM, 4(2), 1995.
28. Neel Krishnaswami and Jonathan Aldrich. Permission-based ownership: Encapsulating state in higher-order typed languages. In PLDI, 2005.
29. K. R. M. Leino and P. Müller. Object invariants in dynamic contexts. In ECOOP, 2004.
30. K. Rustan M. Leino. Data groups: Specifying the modification of extended state. In OOPSLA, 1998.
31. Yi Lu and John Potter. Protecting representation with effect encapsulation. In POPL, pages 359-371, 2006.
32. Yi Lu and John Potter. Object invariants and effects. In ECOOP, 2007.
33. John M. Lucassen and David K. Gifford. Polymorphic effect systems. In POPL, 1988.
34. Nick Mitchell. The runtime structure of object ownership. In ECOOP, 2006.
35. Peter Müller. Modular Specification and Verification of Object-Oriented Programs, volume 2262 of Lecture Notes in Computer Science. Springer-Verlag, 2002.
36. Peter Müller. Reasoning about object structures using ownership. In Verified Software: Theories, Toots, Experiments, LNCS. Springer-Verlag, 2007.
37. James Noble, Robert Biddle, Ewan Tempero, Alex Potanin, and Dave Clarke. Towards a model of encapsulation. In IWACO workshop at ECOOP, 2003.
38. James Noble, Jan Vitek, and John Potter. Flexible alias protection. In ECOOP, 1998.
39. Martin Odersky and Matthias Zenger. Scalable component abstractions. In OOPSLA '05, pages 41.-57, New York, NY, USA, 2005. ACM Press.
40. Matthew Parkinson and Gavin Bierman. Separation, logic and abstraction. In POPL, 2005.
41. Alex Potanin. Generic Ownership - A Practical Approach to Ownership and Confinement in OO Programming Languages. PhD thesis, 2007.
42. Alex Potanin, James Noble, Dave Clarke, and Robert Biddle. Generic ownership for generic Java. In OOPSLA, 2006.
43. Alex Potanin, James Noble, Marcus Frean, and Robert Biddle. Scale-free geometry in object-oriented programs. Communications of the ACM, May 2005.
44. John C. Reynolds. Syntactic control of interference. In POPL, 1.978.
45. Frederick Smith, David Walker, and Greg Morrisett. Alias types. In ESOP, 2000.
46. Matthew Smith. Effects system for ownership domains. In FTfJP workshop at ECOOP, 2005.
47. Matthew Smith. A Model of Effects with an application to Ownership Types. PhD thesis, Imperial College, 2007.
48. Mads Tofte and Jean-Pierre Talpin. Region-Based Memory Management. Information and Computation, 132(2):109-176, 1997.
49. Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Peter von der Ahé, Gilad Bracha, and Neal Gafter. Adding wildcards to the Java programming language. In SAC'04, pages 1289-1296, 2004.
50. Tobias Wrigstad and Dave Clarke. Existential owners for ownership types. JOT, 2007.