Bill Stoddart

From MaRDI portal
Person:684387

Available identifiers

zbMath Open stoddart.billMaRDI QIDQ684387

List of research outcomes





PublicationDate of PublicationType
Bunch theory: axioms, logic, applications and model2024-06-25Paper
BGSL: an imperative language for specification and refinement of backtracking programs2022-11-16Paper
A unification of probabilistic choice within a design-based model of reversible computation2013-03-22Paper
Probabilistic Choice, Reversibility, Loops, and Miracles2010-11-09Paper
Preference and Non-deterministic Choice2010-08-31Paper
A Design-Based Model of Reversible Computation2007-09-14Paper
ZB 2005: Formal Specification and Development in Z and B2005-11-10Paper
https://portal.mardi4nfdi.de/entity/Q44722022004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44369682003-12-04Paper
https://portal.mardi4nfdi.de/entity/Q44942432000-08-10Paper
Type inference in stack based languages1993-09-15Paper

Research outcomes over time

This page was built for person: Bill Stoddart

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:684387&oldid=7258836"
Powered by MediaWiki