CSCI2730

(Formerly CS273)

Programming Language Theory

Not offered this year
Offered occasionally, last taught:

Spring 2019

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.