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: Johnson:Stephen
Contributed to:
2004
2002Wrote 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–?.