Bill Stoddart

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Bunch theory: axioms, logic, applications and model Journal of Logical and Algebraic Methods in Programming	2024-06-25	Paper
BGSL: an imperative language for specification and refinement of backtracking programs Journal of Logical and Algebraic Methods in Programming	2022-11-16	Paper
A unification of probabilistic choice within a design-based model of reversible computation Formal Aspects of Computing	2013-03-22	Paper
Probabilistic Choice, Reversibility, Loops, and Miracles Unifying Theories of Programming	2010-11-09	Paper
Preference and non-deterministic choice Lecture Notes in Computer Science	2010-08-31	Paper
A Design-Based Model of Reversible Computation Unifying Theories of Programming	2007-09-14	Paper
ZB 2005: Formal Specification and Development in Z and B Lecture Notes in Computer Science	2005-11-10	Paper
scientific article; zbMATH DE number 2080015 (Why is no real title available?)	2004-08-03	Paper
scientific article; zbMATH DE number 2013584 (Why is no real title available?)	2003-12-04	Paper
scientific article; zbMATH DE number 1487732 (Why is no real title available?)	2000-08-10	Paper
Type inference in stack based languages Formal Aspects of Computing	1993-09-15	Paper

Research outcomes over time

This page was built for person: Bill Stoddart