10/3 Axiomatic semantics: overflow

10/5 Denotational semantics: Introduction and Semantic domains

10/7 Mid-term test

10/10 Denotational semantics: Semantic algebras

10/12 Denotational semantics: Lambda calculus and Semantics for Binary Numerals

10/14 Denotational semantics: Valuation functions for a simple calculator

10/17 Denotational semantics: overflow

10/19 Denotational semantics: A simple imperative language

10/21 Denotational semantics: Program properties

10/24 Denotational semantics: overflow

10/26 Denotational semantics: Type checking languages

10/28 Denotational semantics: overflow

(NMSU calendar)