scientific article; zbMATH DE number 512951
category of relationscategory of total functionsmonotonic predicate transformersnon-deterministic programspreorder categoryprogram specificationspan categoryweak pullback
Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Categories of spans/cospans, relations, or partial maps (18B10) Preorders, orders, domains and lattices (viewed as categories) (18B35) Enriched categories (over closed or monoidal categories) (18D20) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Abstract data types; algebraic specification (68Q65)
- An algebraic construction of predicate transformers
- Towards a calculus of predicate transformers
- Predicate Transformer Semantics
- Generic transformations of predicate encodings: constructions and applications
- Predicate transformers and higher-order programs
- A relation-algebraic approach to multirelations and predicate transformers
- Predicate transformers in the context of symbolic modeling of transition systems
- Computer Science Logic
- Non-deterministic expressions and predicate transformers
- Predicate transformations in a k-valued logic
- An algebraic construction of predicate transformers
- A predicate transformer for the progress property `to-always'
- Generic transformations of predicate encodings: constructions and applications
- Data refinement with probability in mind
- Towards a calculus of predicate transformers
- A categorical model for higher order imperative programming
- Computer Science Logic
- Algebraic proofs of consistency and completeness
- Formalizing Dijkstra's predicate transformer wp in weak second-order logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281666)
