Specifying syntax and semantics; operational and denotational semantics. Lambda calculi, type systems and logical foundations. Meta-theoretic properties. Semantics of imperative languages.
Learning Hours
120 (36 Lecture, 84 Private Study)
Prerequisite
Registration in a School of Computing Plan and a minimum grade of a C- (obtained in any term) or a 'Pass' (obtained in Winter 2020) in (CISC 204 and CISC 223 and [CISC 360 or CISC 260]).