Predicate transformer semantics

Authors:
Ernest G. Manes
Affiliations:
Univ. of Massachusetts at Amherst, Amherst
Venue:
Predicate transformer semantics
Year:
1992

Citing 0
Cited 4

Implementing collection classes with monads

Mathematical Structures in Computer Science
Boolean restriction categories and taut monads

Theoretical Computer Science
Taut Monads, Dynamic Logic and Determinism

Electronic Notes in Theoretical Computer Science (ENTCS)
Boolean and classical restriction categories

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract