Next:
Specifications
Up:
Generating Algebraic Laws from
Previous:
While
The Hoare Calculus
Specifications
Hoare rules
Weakest liberal precondition
Expressiveness and completeness
H.Peter Gumm