Skip to main content
more options


CS6110 (formerly 611) Advanced Programming Languages is a course on the mathematical semantics of programming languages. It is basic material for the CS PhD program, and its content is required knowledge for PhD students. Doctoral students in other fields are welcome if they have the appropriate background and know at least one modern programming language. Well prepared undergraduates are also welcome.  The course covers elements of formal methods needed to establish properties of programming languages and prove properties of programs.  This course is considered essential background for students considering advanced research in programming languages.

Meeting Times: MWF 10:10-11:00 (Fri. is joint meeting with 6116)

Location:  Upson 315

Instructor: Robert Constable
Office: 4147 Upson Hall
Office Hours: Wed. 11:00-12:00 and by appointment

TA:Jason Wu
email: wuja at cs dot cornell dot edu
Office Hours: Tues. 1:00-2:00PM in Upson 5151


5/9/12 | Exam Review Notes

4/30/12 | Final Exam Monday May 14 - 9:30-12:30 in Upson 315

4/27/12 | Assignment 6 updated 5/1 with prob. 7 added. Due May 4

2/17/12 | Solutions to prob set 1


Homework Policies

Cornell University has a Code of Academic Integrity, with which you should be familiar. Violations of this code are treated very seriously by Cornell and can have long-term repercussions. In this course, you are encouraged to discuss the content of the course with other students, and you may also discuss homework problems with other students. However, you must do your own work, write up assignments yourself, and if you discuss a problem with another student, you are expected to document this fact in your write-up. It is a violation of the code to copy work, including programs, from other students; it is also a violation to use solutions to homework problems from previous iterations of the same course. Note that Cornell holds responsible for the code violation both the recipient and the donor of improper information.


professor Constable email: rc at cs dot cornell dot edu

course website comments to: