Browse By Person: Craik, Andrew
|Up a level|
Group by: Item Type | Date
Number of items: 7.
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.
Reid, Wayne, Kelly, Wayne, & Craik, Andrew (2008) Reasoning about inherent parallelism in modern object-oriented languages. In Dobbie, G & Mans, B (Eds.) The Thirty-First Australasian Computer Science Conference (ACSC 2008) in Conferences in Research and Practice in Information Technology Volume 74 - Computer Science 2008, 22 - 25 January 2008, Australia, NSW, Wollongong.
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.