Steve Dunne

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 3

Top Topics

Provably Correct

Functional Programs

Formal Languages

Top Venues

J. Log. Algebraic Methods Program.

Publications

Bill Stoddart, Steve Dunne, Chunyan Mu, Frank Zeyda
Bunch theory: Axioms, logic, applications and model. J. Log. Algebraic Methods Program. 140 (2024)
Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda
bGSL: An imperative language for specification and refinement of backtracking programs. J. Log. Algebraic Methods Program. 130 (2023)
Bill Stoddart, Frank Zeyda, Steve Dunne
Bunch theory, applications, axioms and models. CoRR (2019)
Ian J. Hayes, Steve Dunne, Larissa Meinicke
Linking Unifying Theories of Program refinement. Sci. Comput. Program. 78 (11) (2013)
Steve Dunne
Conscriptions: A New Relational Model for Sequential Computations. UTP (2012)
Steve Dunne
Termination without \checkmark\checkmark in CSP. FM (2011)
Ian J. Hayes, Steve Dunne, Larissa Meinicke
Unifying Theories of Programming That Distinguish Nontermination and Abort. MPC (2010)
Bill Stoddart, Frank Zeyda, Steve Dunne
Preference and Non-deterministic Choice. ICTAC (2010)
Steve Dunne, Frank Zeyda
Reactivising Classical B. ASM (2010)
Steve Dunne
Of wlp and CSP. Electron. Notes Theor. Comput. Sci. 259 (2009)
Steve Dunne, Ian J. Hayes, Andy Galloway
Reasoning about Loops in Total and General Correctness. UTP (2008)
Steve Dunne, Stacey Conroy
A Practical Single Refinement Method for B. ABZ (2008)
Steve Dunne
Chorus Angelorum. B (2007)
Steve Dunne, Andy Galloway
. IFM (2007)
Ana Cavalcanti, Jim Woodcock, Steve Dunne
Angelic nondeterminism in the unifying theories of programming. Formal Aspects Comput. 18 (3) (2006)
Colin J. Fidge, Peter J. Robinson, Steve Dunne
Refinement Laws for Verifying Library Subroutine Adaptation. Australian Software Engineering Conference (2005)
Frank Zeyda, Bill Stoddart, Steve Dunne
A Prospective-Value Semantics for the GSL. ZB (2005)
Steve Dunne, Stacey Conroy
Process Refinement in B. ZB (2005)
Steve Dunne
Understanding Object-Z Operations as Generalised Substitutions. IFM (2004)
Steve Dunne
Introducing Backward Refinement into B. ZB (2003)
Steve Dunne
Junctive Compositions of specifications in total, general correctness. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Steve Dunne
A Theory of Generalised Substitutions. ZB (2002)
Steve Dunne
Abstract Commands: a Uniform Notation for Specification and Implementation. Electron. Notes Theor. Comput. Sci. 42 (2001)
Steve Dunne
Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness. IWFM (2001)
Bill Stoddart, Steve Dunne
The Refinement of Event Calculus Models. IFM (1999)
Steve Dunne
The Safe Machine: A New Specification Construct for B. World Congress on Formal Methods (1999)
Bill Stoddart, Steve Dunne, Andy Galloway
Undefined Expressions and Logic in Z and B. Formal Methods Syst. Des. 15 (3) (1999)
Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore
Abstract State Machines: Designing Distributed Systems with State Machines and B. B (1998)