CS 611 Fall 2004
|
Instructor: Andrew Myers |
Announcements
|
|
Course information |
Resources
|
Programming languages are a fundamental part of computer science. This course covers the formal tools needed to understand precisely what a program means. These tools help us answer many useful questions about program analyses and transformations, such as:
Topics include: