Modelling the algebra of weakest preconditions

Abstract:

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-theoretic ) model of this algebra. This paper provides one.

Files in this item

Copyright Statement

Items in UNISA Institutional Repository are protected by copyright, with all rights reserved, unless otherwise indicated. Items may only be viewed and downloaded for private research and study purposes. Please acknowledge publications according to acceptable standards and norms.