CS571 Programming Language Structure II

Formal Semantics of Programming Languages.

Prerequisites: CS372, CS510, CS570.

If you have not passed these courses, please see the instructor before enrolling.

Assignments and exams:

There will be 6 homework assignments, a quiz on Math foundations, a mid-term exam and a final exam. Each of these will be worth 50 points, making a total of 450 points. See the policies for the grading scale.