Predicate Transformer Semantics
From MaRDI portal
Publication:3135115
DOI10.1017/CBO9780511569821zbMath0784.68003OpenAlexW1502663392MaRDI QIDQ3135115
Publication date: 23 September 1993
Full work available at URL: https://doi.org/10.1017/cbo9780511569821
programming semanticsBoolean categoriescocartesian categoriesElgot iterationfixed point operationFloyd-Hoare axiom systems
Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of spans/cospans, relations, or partial maps (18B10)
Related Items (13)
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ Unnamed Item ⋮ \(\mathcal{M}\)-coextensive objects and the strict refinement property ⋮ The equational logic of fixed points ⋮ Completeness of Park induction ⋮ Equations for if-then-else ⋮ Program correctness and matricial iteration theories ⋮ A transformational characterization of if-then-else ⋮ Adas and the equational theory of if-then-else ⋮ Boolean restriction categories and taut monads ⋮ Boolean and classical restriction categories ⋮ Group axioms for iteration ⋮ Taut Monads, Dynamic Logic and Determinism
This page was built for publication: Predicate Transformer Semantics
