BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Hungary
Collaborated with:
W.Kelly C.Cifuentes N.Keynes L.Li N.Hawes M.Valdiviezo A.Browne J.Zimmermann D.Teoh C.Hoermann
Talks about:
use (2) ownership (1) parallel (1) program (1) parfait (1) system (1) static (1) reason (1) orient (1) object (1)

Person: Andrew Craik

DBLP DBLP: Craik:Andrew

Contributed to:

ESEC/FSE 20112011
CC 20102010

Wrote 2 papers:

ESEC-FSE-2011-CifuentesKLHVBZCTH #fault #scalability #using
Static deep error checking in large system applications using parfait (CC, NK, LL, NH, MV, AB, JZ, AC, DT, CH), pp. 432–435.
CC-2010-CraikK #object-oriented #parallel #source code #using
Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs (AC, WK), pp. 145–164.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.