Programming Language TheoryNot offered this year
Offered occasionally, last taught:
Theoretical models for the semantics of programming languages and the verification of programs. Topics will be drawn from operational semantics, denotational semantics, type theory and static analyses. Prerequisite: CSCI1730, CSCI 1950Y, or permission of the instructor.