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.
0.000 OR 1.000 Credit hours 0.000 OR 1.000 Lecture hours Levels: Graduate, Undergraduate Schedule Types: Discussion Section/Conference, 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 |