Mojojojo — More Ownership for Multiple Owners

@inproceedings{Victoria2010MojojojoM,
  title={Mojojojo — More Ownership for Multiple Owners},
  author={Paley Li Victoria},
  year={2010}
}
  • Paley Li Victoria
  • Published 2010
Traditional ownership types organise the heap into a tree. Ownership types can support memory management, real-time systems, concurrency, parallelism, and general purpose reasoning about programs. Trees, however, are too restrictive to describe many real programs, limiting the usability of conventional ownership systems. Multiple ownership organises the heap into a directed acyclic graph, rather than a tree. MOJO was the first language to support multiple ownership; it featured multiple owners… CONTINUE READING