Meeting Time and Place
Tuesdays and Fridays, 3:25 - 5:05 pm, 217 Ryder
Goals and Themes:
To learn how a variety of programming language features and mechanisms may be understood by specifying them in a very-high-level language such as Scheme. A subsidiary theme will be the use of formal methods for program specification.
Prerequisites:
Admission to the PhD program. Exceptionally well-prepared MS students may take the course with the permission of the instructor.
Knowledge of data structures as taught in undergraduate CS curricula.
Knowledge of Scheme or a similar language.
Requirements:
The final grade is computed as a weighted average of about 10 machine problems, one or two midterms, and a final exam. The machine problems are likely to account for about half of the final grade, with the other half divided between the midterm(s) and final exam.
The instructor does not intend to give plus or minus grades, but reserves the right to do so.
This course requires a lot of work: budget your time accordingly.
Communications
Bookmark this page as
http://www.ccs.neu.edu/course/csg711/
.
The mailing list for the class is
csg711@lists.ccs.neu.edu
.
Everyone should subscribe to this mailing list by completing the form at
https://lists.ccs.neu.edu/bin/listinfo/csg711
.
That mailing list allows you to communicate with the instructor
and other members of the class.
Mail to this list is archived. When you write either to an instructor or to the list, it is helpful if you use descriptive subject lines.
If you ask a question via private email to an instructor, the instructor may post the reply to the class mailing list. If that happens, the instructor will usually attempt to anonymize your question, so that you will not be discouraged from asking questions. On the other hand, if you say something clever and interesting, or if you point out an error that the class should be aware of, the instructor will attempt to give you credit.
Last modified: 11 September 2008.