Institutional Repository

Browsing South African Computer Journal 1992(6) by Subject "Invariants"

Browsing South African Computer Journal 1992(6) by Subject "Invariants"

Sort by: Order: Results:

  • Brink, C; Rewitzky, I (th African Institute of Computer Scientists and Information Technologists, 1992)
    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.

Search UnisaIR


Browse

My Account