| |
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
|