An Algebraic Construction of Predicate Transformers

• Authors:

• Paul H. B. Gardiner;Clare E. Martin;Oege de Moor

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the Second International Conference on Mathematics of Program Construction
• Year:
• 1992