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: 2008 | 2009 | 2010 | 2011
Number of items: 6.

2008

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

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

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

2009

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

2010

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 91
Number of citations in Scopus 2
Number of citations in Web of Science 1

2011

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 163

This list was generated on Sat May 18 07:11:38 2013 EST.