Specifying syntax and semantics; operational and denotational semantics. Lambda calculi, type systems and logical foundations. Meta-theoretic properties. Semantics of imperative languages. Offered jointly with CISC 465. (3.0 credit units). PREREQUISITE: Permission of the School.
Specifying syntax and semantics; operational and denotational semantics. Lambda calculi, type systems and logical foundations. Meta-theoretic properties. Semantics of imperative languages. Offered jointly with CISC 465. (3.0 credit units). PREREQUISITE: Permission of the School.
