|Instructor||Textbooks||Course Work||Assignments||Schedule ( .dvi format / postscript / pdf format )|
Introduction: This course has three main themes:
Formalism provides clarity for programming in two ways.
Henry M. Walker
Office: Science 2420
Telephone: extension 4208
Office hours are posted weekly on the bulletin board outside Science 2420, with additional hours possible by appointment. You may reserve a half hour meeting by signing up on the weekly schedule, but please sign up at least a day in advance.
John Mitchell, Concepts in Programming Languages, Cambridge
University Press, 2003.
The author is maintaining a supporting web site at http://theory.stanford.edu/people/jcm/books.html
David Gries, The Science of Programming, Springer-Verlag, New York,
This is the classical text on the subject of program verification.
Students may find the following references useful:
Older, 1993 version in postscript format
While the schedule for this course is expected to evolve, a Tentative Class Schedule is available in .dvi , postscript , and pdf formats.
As this schedule suggests, each day in a typical week for this course has a different theme:
Note: If you are logged into the departmental network and want a copy printed, click duerer to have a copy printed on the printer duerer, and click pacioli to have a copy printed on the printer pacioli .
Course Work will involve a combination of the following activities.
Late Penalty: Work is due at the start of class on the date
specified in the assignment. A penalty of 33 1/3 % per class meeting
will be assessed on any work turned in late, even work submitted at
the end of a class. Thus, work turned in 4 days late will be weighted
-33 1/3 %; since a negative score reduces a semester total, it is better
not to turn the work in at all.
Exception: Deadlines for programming problems and laboratory exercises are automatically extended at least one class day if MathLAN is down for an unscheduled period of 3 or more hours during the week preceding the assignment due date. (In such cases, however, deadlines for written assignments are not extended.)
Absolute Deadline: All homework must be turned in
by Friday, May 7 at 5:00 pm.
Don't even think about asking for an extension!
The work in this course is split between individual and group work. The rules for collaboration on written assignments will be given for each assignment.
The final grade will be based upon each student's demonstration of his or her understanding of and facility in programming, not on the performance of the class as a whole nor on a strict percentile basis. While some flexibility may be possible in determining a final semester grade, the following percentages provide a first approximation for the relative weights attached to various activities in this course.
|Assignments from Mitchell's Text:||20%||Assignments from Gries' Text:||40%||Group Work:||20%||Exam:||20%|
This document is available on the World Wide Web as
created December 2, 2003
last revised May 3, 2004
|For more information, please contact Henry M. Walker at email@example.com.|