CSCI2730

(Formerly CS273 )

Programming Language Theory

Instructor(s):
Course Home Page:
http://cs.brown.edu/courses/csci2730/
Location: CIT 368
Meeting Time: D: MWF 11:00-11:50
Exam Group:
Semester: 2 (Spring)
Offered This Year?  Yes
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