`Travelled to:`

3 × Italy

`Collaborated with:`

S.Krstic J.Launchbury

`Talks about:`

microarchitectur (1) elementari (1) interpret (1) algorithm (1) reflect (1) languag (1) algebra (1) verifi (1) semant (1) monad (1)

## Person: John Matthews

### DBLP: Matthews:John

### Contributed to:

### Wrote 3 papers:

- PPDP-2004-KrsticM #semantics
- Semantics of the reFLect language (SK, JM), pp. 32–42.
- VMCAI-2002-KrsticM #algorithm #monad #verification
- Verifying BDD Algorithms through Monadic Interpretation (SK, JM), pp. 182–195.
- CAV-1999-MatthewsL #algebra #architecture
- Elementary Microarchitecture Algebra (JM, JL), pp. 288–300.