Lecture Notes: Part III
Table of Contents
Lambda Calculus
Weakest Precondition, Axiomatic Semantics
Weakest Precondition, IF Statement
Loop Invariant, Axiomatic Semantics
Garbage Collection
Continuation