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: | 2 (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
