Towards a calculus of predicate transformers
From MaRDI portal
Recommendations
Cited in
(18)- A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language
- A categorical treatment of pre- and post-conditions
- Inductive data types for predicate transformers
- An algebraic construction of predicate transformers
- A recursion theorem for predicate transformers on inductive data types
- A predicate transformer for the progress property `to-always'
- Generic transformations of predicate encodings: constructions and applications
- Predicate transformers as power operations
- Predicate transformers for extended probability and non-determinism
- scientific article; zbMATH DE number 512951 (Why is no real title available?)
- scientific article; zbMATH DE number 1759496 (Why is no real title available?)
- scientific article; zbMATH DE number 194642 (Why is no real title available?)
- The algebra of multirelations
- scientific article; zbMATH DE number 1390087 (Why is no real title available?)
- Computer Science Logic
- Predicate transformers and higher-order programs
- Formalizing Dijkstra's predicate transformer wp in weak second-order logic
- A general proof rule for procedures in predicate transformer semantics
This page was built for publication: Towards a calculus of predicate transformers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3569038)
