Go to Main Content

Brown University

 

HELP | EXIT

Detailed Course Information

 

Spring 2017
Sep 23, 2019
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

Prerequisites:
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
Release: 8.7.2.4