CSCI2730
(Formerly CS273 )Programming Language Theory
- Instructor(s):
-
Shriram Krishnamurthi - Course Home Page:
-
http://www.cs.brown.edu/courses/csci2730/
| Location: | CIT 345 |
| Meeting Time: | Mondays 1:30-3:50 |
| Exam Group: | 07 |
| 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 or permission of the instructor.
| Page Owner: webmaster | Last Modified: Mon Oct 19 09:49:40 2009 |