Multiple ownership

  title={Multiple ownership},
  author={Nicholas Robert Cameron and Sophia Drossopoulou and James W Noble and Matthew J. Smith},
Existing ownership type systems require objects to have precisely one primary owner, organizing the heap into an ownership tree. Unfortunately, a tree structure is too restrictive for many programs, and prevents many common design patterns where multiple objects interact. Multiple Ownership is an ownership type system where objects can have more than one owner, and the resulting ownership structure forms a DAG. We give a straightforward model for multiple ownership, focusing in particular on… CONTINUE READING
Highly Cited
This paper has 97 citations. REVIEW CITATIONS
61 Citations
9 References
Similar Papers


Publications citing this paper.

97 Citations

Citations per Year
Semantic Scholar estimates that this publication has 97 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-9 of 9 references

Object Ownership and Containment

  • Dave Clarke
  • PhD thesis, UNSW, Australia,
  • 2002
Highly Influential
11 Excerpts

A Model of Effects with an application to Ownership Types

  • Matthew Smith
  • PhD thesis, Imperial College,
  • 2007
Highly Influential
5 Excerpts

Generic Ownership — A Practical Approach to Ownership and Confinement in OO Programming Languages

  • Alex Potanin
  • PhD thesis,
  • 2007
Highly Influential
4 Excerpts

A Thousand Plateaus: Capitalism and Schizophrenia

  • Gilles Deleuze, Félix Guattari
  • U. Minnesota,
  • 1987
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…