Browse By Person: Craik, Andrew
|Up a level|
Group by: Item Type | Date
Number of items: 6.
Craik, Andrew J. & Kelly, Wayne A. (2010) Using Ownership to Reason About Inherent Parallelism in Object-Oriented Programs. Lecture Notes in Computer Science, 6011, pp. 145-164.
Craik, Andrew J. & Kelly, Wayne A. (2008) Reasoning about Inherent Parallelism in Object-Oriented Programs using Ownership Types. In ACSC '08 Proceedings of the thirty-first Australasian conference on Computer science, ACM, pp. 27-36.
Craik, Andrew J. (2009) Ownerships for reasoning about parallelism : type system and semantics. (Unpublished)
Craik, Andrew J. (2008) Operational Semantics for Object Ownership and Runtime Reasoning about Inherent Parallelism. (Unpublished)
Craik, Andrew J. (2008) Ownership Effects Type System Safety. (Unpublished)
Craik, Andrew (2011) A framework for reasoning about inherent parallelism in modern object-oriented languages. PhD thesis, Queensland University of Technology.