Browse By Person: Craik, Andrew
|Up a level|
Group by: Item Type | Date
Number of items: 7.
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. (2008) Operational Semantics for Object Ownership and Runtime Reasoning about Inherent Parallelism. (Unpublished)
Craik, Andrew J. (2008) Ownership Effects Type System Safety. (Unpublished)
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. & 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 (2011) A framework for reasoning about inherent parallelism in modern object-oriented languages. PhD thesis, Queensland University of Technology.