`Travelled to:`

1 × Denmark

1 × Germany

1 × Hungary

1 × Italy

1 × Spain

1 × Sweden

1 × The Netherlands

1 × USA

1 × United Kingdom

`Collaborated with:`

M.Dowse ∅ G.Strong R.Bresciani P.Gancarski A.Sherif J.Woodcock M.C.J.D.v.Eekelen

`Talks about:`

determinist (2) function (2) program (2) correct (2) concurr (2) semant (2) reason (2) circus (2) prove (2) about (2)

## Person: Andrew Butterfield

### DBLP: Butterfield:Andrew

### Facilitated 2 volumes:

### Contributed to:

### Wrote 9 papers:

- IFM-2012-BrescianiB #semantics
- A UTP Semantics of pGCL as a Homogeneous Relation (RB, AB), pp. 191–205.
- CEFP-2011-Butterfield #functional #reasoning #source code
- Reasoning about I/O in Functional Programs (AB), pp. 93–141.
- FM-2009-GancarskiB #semantics
- The Denotational Semantics of slotted-Circus (PG, AB), pp. 451–466.
- IFM-2007-ButterfieldSW
- Slotted-Circus (AB, AS, JW), pp. 75–97.
- ICFP-2006-DowseB #concurrent #modelling
- Modelling deterministic concurrent I/O (MD, AB), pp. 148–159.
- IFL-2004-DowseBE #concurrent #functional #reasoning
- Reasoning About Deterministic Concurrent Functional I/O (MD, AB, MCJDvE), pp. 177–194.
- IFL-2002-DowseSB #haskell #proving
- Proving Make Correct: I/O Proofs in Haskell and Clean (MD, GS, AB), pp. 68–83.
- IFL-2001-ButterfieldS #comparison #correctness #paradigm #proving #source code
- Proving Correctness of Programs with IO — A Paradigm Comparison (AB, GS), pp. 72–87.
- FME-1993-Butterfield #fault tolerance #towards
- A VDM Study of Fault-Tolerant Stable Storage — Towards a Computer Engineering Mathematics (AB), pp. 216–234.