9/2 Operational semantics: Basics; Program state

9/5 Labor Day NO CLASS

9/7 Operational semantics: Inference rules: imperative lang.

9/9 Operational semantics: Inference rules: functional lang.

9/12 Operational semantics: Proving program properties

9/14 Operational Semantics: Proving program properties

9/16 Test: Math Foundations

9/19 Axiomatic semantics: Introduction

9/21 Axiomatic semantics:Languages and representations

9/23 Axiomatic semantics: The Hoare axioms, loop invariant

9/26 Axiomatic semantics: Sample proofs

9/28 Axiomatic semantics: soundness of the axioms

9/30 Axiomatic semantics: Partial and total correctness