Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs.

Andrew Craik, Wayne Kelly

Browse the full CC paper archive.