Publications

Conference Papers

Craik A. J. (2008) Operational Semantics for Object Ownership and Runtime Reasoning about Inherent Parallelism. Technical Report, Microsoft QUT eResearch Centre, Queensland University of Technology.

Craik A. J. (2008) Ownership Effects Type System Safety. Technical Report, Faculty of Information Technology, Queensland University of Technology.

Reid, W., Kelly W., & Craik, A. (2007) Reasoning about inherent Parallelism in Modern Object-Oriented Languages (submitted).