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 × Italy
1 × United Kingdom
Collaborated with:
S.Antoy G.Matthews R.Hood P.F.Leggett
Talks about:
implement (1) backtrack (1) parallel (1) abstract (1) program (1) automat (1) rewrit (1) formal (1) execut (1) debug (1)

Person: Stephen Johnson

DBLP DBLP: Johnson:Stephen

Contributed to:

PPDP 20042004
HPDC 20022002

Wrote 2 papers:

PPDP-2004-AntoyJ #formal method #implementation
Formalization and abstract implementation of rewriting with nested rules (SA, SJ), pp. 144–154.
HPDC-2002-MatthewsHJL #automation #backtracking #debugging #source code
Backtracking and Re-Execution in the Automatic Debugging of Parallelized Programs (GM, RH, SJ, PFL), p. 150–?.

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.