15-312 Foundations of Programming Languages

Fall 2002
Frank Pfenning
Lecture, TuTh 1:30-2:50, WeH 5403
Section A, Wed 12:30-1:20, DH 1117
(and Wed 8:30-9:20, BH 255A by prior arrangement only)
Section B, Wed 1:30-2:20, PH 226A
12 units

This course covers many of the concepts underlying the design, definition, implementation and use of modern programming languages. We emphasize formal techniques to study a variety of programming language paradigms, including functional, imperative, concurrent, and object-oriented programming. The formal investigations are complemented by programming assignments that illustrate how to use and implement languages with radically different models of computation.

Prerequisites: 15-212 Principles of Programming.


What's New?

Class Material

Schedule Lecture schedule, readings, and code
Assignments Details of assignments, due dates, and policies
Software Libraries and hints on programming environment
Resources Other course resources

Course Information

Lectures TuTh 1:30-2:50, WeH 5403
Recitations Section A, Wed 12:30-1:20, DH 1117
(and Wed 8:30am-9:20, BH 255A, by prior arrangement only)
Section B, Wed 1:30-2:20, PH 226A
Textbook Course notes will be handed out, mostly based on:
Programming Languages: Theory and Practice. Robert Harper. (Draft)
There is also a set of supplementary notes for each lecture or as a combined file (2.6MB, 177pp).
Credit 12 units
Grading 45% Programming Assignments, 20% Written Assignments,
10% Midterm Exam, 25% Final Exam
Assignments Programming assignments are 2 weeks each, given out and due on Thursday.
Written assignments are 1 week each, given out and due on Thursday before lecture.
Every students has 3 late days, to be used at any time during the semester.
Midterm Thu Oct 17, in class.
The midterm is closed book, one double-sided sheet of notes permitted.
Final Tue Dec 17, 1:00-4:00, WeH 5403.
The final will be open book.
Topics TBA
Home http://www.cs.cmu.edu/~fp/courses/312/
Newsgroup news:cyrus.academic.cs.15-312
Directories /afs/andrew/scs/cs/15-312/students/andrew_id/ for submission of assignments

Instructor

  Frank Pfenning
Contact fp@cs or x8-6343
Office Wean Hall 8117
Office Hours Wed 2:30-3:30 or by appointment

Teaching Assistant

  Joshua Dunfield
Contact joshuad@cs.cmu.edu or x8-5940
Office Wean Hall 1313
Office Hours Mon 8pm-10pm or by appointment

Secretary

  Jennifer Landefeld
Contact jennsbl@cs.cmu.edu or x8-4740
Office Wean Hall 8124

[ Home | Schedule | Assignments | Software | Resources ]

fp@cs
Frank Pfenning