(Formerly CS273)

Programming Language Theory

Course Home Page:
Location:CIT 368
Meeting Time:D: MWF 11:00-11:50
Semester:2 (Spring)
Offered this year?No
When Offered?Occasionally


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.

CRN: 26365