Lecture 03: Relations and Hoare Triples
(Continuing Lecture 02)
Slides: lecture03a.pptx, lecture03a.pdf
Relational Semantics - Specifying meaning of programs using relations, their composition, union and transitive closure.
Using Relational Semantics - Applying Relational Semantics to Prove Program Properties
Hoare Logic
Hoare Logic Basics - Hoare Triple, Strongest Postcondition, Weakest Precondition
(Continued in Exercise 03)