BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
S.Ezer J.Nagle R.L.Constable
Talks about:
program (2) verif (2) processor (1) diagnost (1) configur (1) softwar (1) practic (1) automat (1) smart (1) prove (1)

Person: Scott Johnson

DBLP DBLP: Johnson:Scott

Contributed to:

DAC 20052005
POPL 19831983
POPL 19791979

Wrote 3 papers:

DAC-2005-EzerJ #configuration management #verification
Smart diagnostics for configurable processor verification (SE, SJ), pp. 789–794.
POPL-1983-NagleJ #automation #embedded #proving #realtime #verification
Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software (JN, SJ), pp. 48–58.
A PL/CV Precis (RLC, SJ), pp. 7–20.

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.