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
Collaborated with:
Andreas Lööw R.Kumar Y.K.Tan M.O.Myreen M.Norrish O.Abrahamsson
Talks about:
verifi (2) processor (1) compil (1)

Person: Anthony C. J. Fox

DBLP DBLP: Fox:Anthony_C=_J=

Contributed to:

PLDI 20192019

Wrote 1 papers:

PLDI-2019-LoowKTMNAF #compilation
Verified compilation on a verified processor (AL, RK, YKT, MOM, MN, OA, ACJF), pp. 1041–1053.
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.