CSCI2730

(Formerly CS273 )

Programming Language Theory

Instructor(s):
Course Home Page:
http://cs.brown.edu/courses/csci2730/
Offered This Year?  No
When Offered? Occasionally

Description

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