Bill Stoddart

Available identifiers

zbMath Open stoddart.billMaRDI QIDQ684387

List of research outcomes

Publication	Date of Publication	Type
BGSL: an imperative language for specification and refinement of backtracking programs	2022-11-16	Paper
A unification of probabilistic choice within a design-based model of reversible computation	2013-03-22	Paper
Probabilistic Choice, Reversibility, Loops, and Miracles	2010-11-09	Paper
Preference and Non-deterministic Choice	2010-08-31	Paper
A Design-Based Model of Reversible Computation	2007-09-14	Paper
ZB 2005: Formal Specification and Development in Z and B	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4472202	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4436968	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4494243	2000-08-10	Paper
Type inference in stack based languages	1993-09-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bill Stoddart