CS611 Fall 2006
Advanced Programming Languages

Instructor: Dexter Kozen
TA: Benyah Shaparenko
Admin: Kelly Patwell

Announcements

[Archived announcements]
  • 12/8 TI calculator found in 306 Hollister after the final.  Claim from Kelly.
  • 12/13 Final exams are graded and course grades are available on CMS. Kelly has the finals if you want to review them. That's all folks! Have a happy and safe holiday.

Course information

Resources

Course overview

Programming languages are a fundamental part of computer science. This course introduces the formal tools needed to describe precisely what a program means. These tools help us answer many useful questions about program analyses and transformations, such as:

Topics include: