Bill Stoddart

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 3

Top Venues

CoRR

J. Log. Algebraic Methods Program.

Formal Aspects Comput.

Teesside University, UK (PHD)

Education History

Teesside University, UK

PHD

Publications

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
The Halting Paradox. CoRR (2019)
Bill Stoddart, Frank Zeyda, Steve Dunne
Bunch theory, applications, axioms and models. CoRR (2019)
Bill Stoddart, Frank Zeyda
A unification of probabilistic choice within a design-based model of reversible computation. Formal Aspects Comput. 25 (1) (2013)
Bill Stoddart, Frank Zeyda, Steve Dunne
Preference and Non-deterministic Choice. ICTAC (2010)
Bill Stoddart, Robert Lynas, Frank Zeyda
A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages. Electron. Notes Theor. Comput. Sci. 253 (6) (2010)
Bill Stoddart, Pete Bell
Probabilistic Choice, Reversibility, Loops, and Miracles. UTP (2010)
Bill Stoddart, Dominique Cansell, Frank Zeyda
Modelling and Proof Analysis of Interrupt Driven Scheduling. B (2007)
Bill Stoddart, Frank Zeyda, Robert Lynas
A Design-Based Model of Reversible Computation. UTP (2006)
Frank Zeyda, Bill Stoddart, Steve Dunne
A Prospective-Value Semantics for the GSL. ZB (2005)
Bill Stoddart, Frank Zeyda
Expression Transformers in B-GSL. ZB (2003)
Antonis D. Papatsaras, Bill Stoddart
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. ZB (2002)
Bill Stoddart
An Execution Architecture for GSL. ZB (2000)
Bill Stoddart, Steve Dunne
The Refinement of Event Calculus Models. IFM (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)
Bill Stoddart
The Specification and Refinement of an Environmental Model. ZUM (1998)
Andy Galloway, Bill Stoddart
Integrated formal methods. INFORSID (1997)
Andy Galloway, Bill Stoddart
An Operational Semantics for ZCCS. ICFEM (1997)
Bill Stoddart
An Introduction to the Event Calculus. ZUM (1997)
Bill Stoddart, Peter J. Knaggs
Type Interference in Stack Based Languages. Formal Aspects Comput. 5 (4) (1993)

Bill Stoddart.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bill Stoddart