3 ms·
As a starting point have a look at http://en.wikipedia.org/wiki/Predicate_transformer_semantics http://en.wikipedia.org/wiki/Predicate_transformer_semantics.
by ckuehne 17y ago
As a starting point have a look at http://en.wikipedia.org/wiki/Predicate_transformer_semantics http://en.wikipedia.org/wiki/Predicate_transformer_semantics.