CISC 865 Semantics of Programming Languages Units: 3.00
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.
PREREQUISITE: Permission of the School.
Offering Faculty: Faculty of Arts and Science