|Nov 24, 2003|
|EECS 598-3: Programming Languages
|This is a 4-credit course that covers fundamental concepts in programming languages as well as recent topics and trends in PL research. Topics include operational semantics, axiomatic semantics, type systems, program verification using theorem provers, and software model checking. The course focusses on applying PL concepts to improve software reliability. The course includes a semester long individual research project. |
This course will count towards software area qualification and as an MS and PhD kernel course.
Please see the course web page for further information. [More Info]