BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Spain
Collaborated with:
A.W.Appel A.Hobor L.Beringer G.Stewart
Talks about:
indirect (1) approxim (1) verifi (1) theori (1) memori (1) compil (1) share (1)

Person: Robert Dockins

DBLP DBLP: Dockins:Robert

Contributed to:

ESOP 20142014
POPL 20102010

Wrote 2 papers:

ESOP-2014-BeringerSDA #c #compilation
Verified Compilation for Shared-Memory C (LB, GS, RD, AWA), pp. 107–127.
POPL-2010-HoborDA #approximate #formal method
A theory of indirection via approximation (AH, RD, AWA), pp. 171–184.
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.