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 Course staff and office hours Schedule and lecture notes Textbooks and other readings Course policies Course Management System (CMS) Course newsgroup	Resources Scribe template SML/NJ home page Executable SML tutorial and SML cheatsheet 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 Previous versions of CS611 [F05] [F04]

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