Andrew Butterfield - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

A denotational semantics for Handel-CAndrew Butterfield. fac, 23(2):153-170, 2011. [doi]

2010

2009

2008

POSIX and the Verification Grand Challenge: A RoadmapLeo Freitas, Jim Woodcock, Andrew Butterfield. iceccs 2008: 153-162 [doi]

2007

2006

Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected PapersAndrew Butterfield, Clemens Grelck, Frank Huch, editors, Volume 4015 of Lecture Notes in Computer Science, Springer, 2006.

A Hardware Compiler Semantics for Handel-CAndrew Butterfield, Jim Woodcock. ENTCS, 161:73-90, 2006. [doi]

Modelling deterministic concurrent I/OMalcolm Dowse, Andrew Butterfield. ICFP 2006: 148-159 [doi]

A Lattice-Theoretic Model for an Algebra of Communicating Sequential ProcessesMalcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes. ictac 2006: 123-137 [doi]

2005

PrefaceJuan Bicarregui, Andrew Butterfield, Alvaro Arenas. ENTCS, 133:1-2, 2005. [doi]

prialt in Handel-C: an operational semanticsAndrew Butterfield, Jim Woodcock. STTT, 7(3):248-267, 2005. [doi]

2004

PyEvolve: a toolkit for statistical modelling of molecular evolutionAndrew Butterfield, Vivek Vedagiri, Edward Lang, Cath Lawrence, Matthew J. Wakefield, Alexander Isaev, Gavin A. Huttley. bmcbi, 5:1, 2004. [doi]

Reasoning About Deterministic Concurrent Functional I/OMalcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen. IFL 2005: 177-194 [doi]

2003

Formal Methods for Industrial Critical Systems at Trinity College, University of DublinAndrew Butterfield. ENTCS, 80, 2003. [doi]

An Operational Semantics for Handel-CAndrew Butterfield, Jim Woodcock. ENTCS, 80, 2003. [doi]

2002

Semantic domains for Handel-CAndrew Butterfield, Jim Woodcock. ENTCS, 74, 2002. [doi]

Proving Make Correct: I/O Proofs in Haskell and CleanMalcolm Dowse, Glenn Strong, Andrew Butterfield. IFL 2003: 68-83 [doi]

2001

5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001Andrew Butterfield, Glenn Strong, Claus Pahl, editors, Workshops in Computing, BCS, 2001.

Proving Correctness of Programs with IO - A Paradigm ComparisonAndrew Butterfield, Glenn Strong. IFL 2002: 72-87 [doi]

2000

OO-Motivated Process Algebra: A Calculus for CORBA-like SystemsMalcolm Tyrrell, Andrew Butterfield, Alexis Donnelly. room 2000: [doi]

1999

3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999Andrew Butterfield, Klemens Haegele, editors, Workshops in Computing, BCS, 1999.

1998

2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998Sharon Flynn, Andrew Butterfield, editors, Workshops in Computing, BCS, 1998.

1993

A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering MathematicsAndrew Butterfield. fm 1993: 216-234