CS 611 Fall 2005 Advanced Programming Languages	Instructor: Andrew Myers
	Announcements [See old announcements] Enjoy the break! Final grades have been posted on CMS. The final exam has been graded, and solutions are posted on CMS. Exams can be picked up in 4119 along with homeworks. [ A smoothed histogram of exam scores ]
Course information Course staff and office hours Schedule and lecture notes Textbooks, other readings Course policies Course Management System Course newsgroup	Resources Scribe template SML/NJ home page SML books and documentation SML with support for emacs or vim (from the CS 312 web site) TeX Math Symbols font for viewing course slide sets. CS 611 2004

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:

• Is this program is correct?
• Will this program encounter a run-time type error?
• Is one program indistinguishable from another?
• Is this optimization a safe program transformation?
• Can programs written in this language crash?
• Is this compiler translation correct?
• Can source language A be translated into target language B?

Topics include:

• Different styles of dynamic semantics, including operational, axiomatic, and denotational semantics
• Static semantics, including type systems
• Proofs by induction on derivations and structure
• A formal treatment of important programming language features such as functions, laziness, exceptions, continuations, modules, type polymorphism, objects and classes