CSCI2730
(Formerly CS273 )Programming Language Theory
- Instructor(s):
-
Shriram Krishnamurthi - Course Home Page:
-
http://www.cs.brown.edu/courses/csci2730/
| Location: | CIT 377 |
| Meeting Time: | Fridays 11:00-12:00 |
| Exam Group: | |
| Semester: | 1 (Fall) |
| Offered This Year? | Yes |
| When Offered? | Occasionally |
Description
Theoretical models for the semantics of programming languages and the verification of programs. Topics include operational semantics, denotational semantics, type theory and static analyses. Prerequisite: CSCI1730 and permission of the instructor.
CRN: 17516