Go to Main Content

Brown University



Detailed Course Information


Fall 2019
Aug 15, 2020
Transparent Image
  Select the desired Level or Schedule Type to find available classes for the course.

CSCI 2730 - Programming Language Theory
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. Recommended prerequisite: CSCI 1730, CSCI 1950Y or instructor permission.
1.000 Credit hours
1.000 Lecture hours

Levels: Graduate, Undergraduate
Schedule Types: Primary Meeting

Computer Science Department

Undergraduate level CSCI 1730 Minimum Grade of S or Undergraduate level CSCI 1950Y Minimum Grade of S

Return to Previous New Search
Transparent Image
Skip to top of page