Browse By Person: Craik, Andrew

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

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 163
Number of citations in Scopus 5
Number of citations in Web of Science® 3

Conference Paper

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.
Number of full-text downloads 153
Number of citations in Web of Science® 3

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.
Number of citations in Scopus 1

Report

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

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

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

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 406

This list was generated on Sun Oct 6 07:30:37 2019 AEST.