QUT ePrints

Browse By Person: Craik, Andrew

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date
Jump to: Journal Article | Report | QUT Thesis
Number of items: 6.

Journal Article

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.
Number of full-text downloads 96
Number of citations in Scopus 2
Number of citations in Web of Science 1

Craik, Andrew J. & Kelly, Wayne A. (2008) Reasoning about Inherent Parallelism in Object-Oriented Programs using Ownership Types. .
Number of full-text downloads 94

Report

Craik, Andrew J. (2009) Ownerships for reasoning about parallelism : type system and semantics. (Unpublished)
Number of full-text downloads 26

Craik, Andrew J. (2008) Operational Semantics for Object Ownership and Runtime Reasoning about Inherent Parallelism. (Unpublished)
Number of full-text downloads 39

Craik, Andrew J. (2008) Ownership Effects Type System Safety. (Unpublished)
Number of full-text downloads 54

QUT Thesis

Craik, Andrew (2011) A framework for reasoning about inherent parallelism in modern object-oriented languages. PhD thesis, Queensland University of Technology.
Number of full-text downloads 168

This list was generated on Sat Jun 15 07:17:58 2013 EST.