Predicate Transformer Semantics

DOI10.1017/CBO9780511569821MaRDI QIDQ3135115zbMATH OpenOpenAlexFDO

Authors Ernest G. Manes

Publication date 23 September 1993

Full work available at URL https://doi.org/10.1017/cbo9780511569821

zbMATH Keywords

programming semanticsBoolean categoriescocartesian categoriesElgot iterationfixed point operationFloyd-Hoare axiom systems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Categories of spans/cospans, relations, or partial maps (18B10) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 194642
• scientific article; zbMATH DE number 3999260
• scientific article; zbMATH DE number 3967883
• A categorical treatment of pre- and post-conditions
• Topological dualities in semantics

Cited in

(21)

• \(\mathcal{M}\)-coextensive objects and the strict refinement property
• scientific article; zbMATH DE number 2156365 (Why is no real title available?)
• Program correctness and matricial iteration theories
• A general proof rule for procedures in predicate transformer semantics
• Adas and the equational theory of if-then-else
• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
• A categorical treatment of pre- and post-conditions
• Boolean and classical restriction categories
• Group axioms for iteration
• Completeness of Park induction
• The equational logic of fixed points
• Generic transformations of predicate encodings: constructions and applications
• Equations for if-then-else
• A transformational characterization of if-then-else
• Computer Science Logic
• Boolean restriction categories and taut monads
• Predicate transformers for extended probability and non-determinism
• scientific article; zbMATH DE number 512951 (Why is no real title available?)
• Taut monads, dynamic logic and determinism
• A predicate transformer for the progress property `to-always'
• scientific article; zbMATH DE number 4112055 (Why is no real title available?)

This page was built for publication: Predicate Transformer Semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3135115)