CS 611 Fall 2007 Advanced Programming Languages	Instructor: Andrew Myers TAs: Steve Chong Nitin Gupta Course admin: Bill Hogan
	Announcements [See old announcements] Check the newsgroup for current announcements.
Course information Course staff and office hours Schedule and lecture notes Textbooks, other readings Course Management System Course newsgroup	Resources Scribe template Objective Caml home page OCaml support for emacs and vim OCaml books and documentation TeX Math Symbols font for viewing course slide sets. CS 611, Fall 2006

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