CSCI2730

(Formerly CS273 )

Programming Language Theory

Instructor(s):
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