Institutional Repository

Browsing 1991 6th South African Computer Symposium by Subject "Invariants"

Browsing 1991 6th South African Computer Symposium by Subject "Invariants"

Sort by: Order: Results:

  • Brink, C; Rewitzky, I (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.

Search UnisaIR


Browse

My Account