CSCI2730
(Formerly CS273)Programming Language Theory
- Instructor(s):
-
- Shriram Krishnamurthi
- T. Stephen Strickland
- Course Home Page:
- http://cs.brown.edu/courses/csci2730/
Location: | CIT 368 |
Meeting Time: | D: MWF 11:00-11:50 |
Semester: | Spring |
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