Course Description 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]](toc.gif) ![[Index]](index.gif)
|
![[Courses by Subject]](crssbsub.gif) ![[Courses by Name]](crssbnme.gif) ![[Awards by Category]](awrdbctg.gif) ![[Awards by Name]](awrdbnme.gif) ![[Calendar Search]](search.gif)
|