Compile-time execution structure of object-oriented programs with practical ownership domain annotations.

Marwan Abi-Antoun

Browse the full OOPSLA paper archive.