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:
R.Kumar Y.K.Tan M.O.Myreen M.Norrish O.Abrahamsson Anthony C. J. Fox
Talks about:
verifi (2) processor (1) compil (1)

Person: Andreas Lööw

DBLP DBLP: L=ouml==ouml=w:Andreas

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.