CSCI2730
(Formerly CS273 )Programming Language Theory
- Instructor(s):
-
Shriram Krishnamurthi - Course Home Page:
-
http://www.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 include operational semantics, denotational semantics, type theory and static analyses. Prerequisite: CSCI1730 and permission of the instructor.
CRN: 17516