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 × 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 DBLP: Butterfield:Andrew

Facilitated 2 volumes:

IFL 2006Ed
IFL 2005Ed

Contributed to:

IFM 20122012
CEFP 20112011
FM 20092009
IFM 20072007
ICFP 20062006
IFL 20042004
IFL 20022002
IFL 20012001
FME 19931993

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.
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.

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.