Course Description

Computer Science 444a/b Semantics of Programming Languages

Operational, denotational, and axiomatic semantics; lambda-calculus.

Prerequisites: Computer Science 209a/b and 331a/b, or permission of the Department.
3 lecture hours, half course.


Academic Calendar
[Table of Contents] [Index]
[Courses by Subject] [Courses by Name] [Awards by Category] [Awards by Name] [Calendar Search]