Mojojojo — More Ownership for Multiple Owners

Abstract

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… (More)

Topics

9 Figures and Tables

Cite this paper

@inproceedings{Li2010MojojojoM, title={Mojojojo — More Ownership for Multiple Owners}, author={Paley Li and Nicholas Robert Cameron and James Noble}, year={2010} }