Searching for "An Algebraic Construction of Predicate Transformers." – sorted by Relevance.
-
An Algebraic Construction of Predicate Transformers
- An Algebraic Construction of Predicate Transformers Paul Gardiner 1, Clare Martin 2 and Oege de
- Cited by 17 (1 self) – Add To MetaCart
-
unknown title
- . Martin, and Oege de Moor. An algebraic construction of predicate transformers. Science of Computer
- Add To MetaCart
-
Models for command-response interfaces
- , relations, predicate transformers, temporal and modal operators, and everything any one has ever asked
- Add To MetaCart
-
A Constructive and Predicative Model of Command-Response Interfaces
- in de Moor, Gardiner and Martin “An algebraic construction of predicate transformers” [10
- Add To MetaCart

