General Correctness Algebra
From MaRDI portal
Publication:3651514
DOI10.1007/978-3-642-04639-1_11zbMath1267.68138OpenAlexW1575371317MaRDI QIDQ3651514
Publication date: 11 December 2009
Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04639-1_11
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (4)
Monoids with tests and the algebra of possibly non-halting programs ⋮ Fixpoints for general correctness ⋮ Algebras for iteration and infinite computations ⋮ Infinite executions of lazy and strict computations
This page was built for publication: General Correctness Algebra