Modelling the algebra of weakest preconditions
Chris Brink, Ingrid Rewitzky · Unisa Institutional Repository (University of South Africa) · 1991
Dijkstra's weakest precondition semantics, as presented in textbook form by Gries, may be viewed as an equational algebra. The problem then is to find a reasonable (set-theoric) model of this algebra. This paper provides one.