Department
Princeton University

Computer Science 441
Programming Languages
Andrew Appel

Fall 2010

General Information       Schedule       Policies

Mailing lists

Mail to the instructors only:
  COS 441 Instructors <cos441@lists.cs.princeton.edu>
You can use this to ask for help on the assignments. But the best way to get help on the assignments is to come to the lab sessions on Fridays. You can even use this to ask for help on take-home exams, but we may choose to give you less help on the exams.

Mail to all the students in the course and the instructors:
  COS 441 Everyone <cos441_f2010@princeton.edu>
Use this when you have a question or comment that will be helpful to other students, and your message will not "give away" an answer in an inappropriate way. Use your judgement here! Don't use this list during take-home exams!

Homeworks

The policy regarding giving or receiving assistance on homeworks is similar to the policies in COS 126, COS 217, COS 226, etc.:

You must reach your own understanding of the problem and discover a path to its solution. During this time, discussions with other people are permitted and encouraged. However, when the time comes to write code (or proofs) that solves the problem, such discussions (except with course staff members) are no longer appropriate: the code must be your own work. If you have a question about how to use some feature of of the programming (or proof) environment, you can ask your friends, but specific questions about code you have written must be treated more carefully.

For each assignment you must specifically state, in your README file (or in a README comment at the top of your proof file), the names of any individuals from whom you received help, and the nature of the help that you received. That includes help from friends, classmates, lab TAs, course staff members, etc.

In the README you must also state the names of any other students to whom you provided help, and the nature of the help.

Late homeworks are accepted without penalty for the first hour. After that it's 20% penalty per day, in increments of 20%, counted from the original due date/time.

Optional exercises: An "optional" exercise is one that is reported as such by the Dropbox "Check All Submitted Files" button. Most of the exercises marked as optional in the Software Foundations textbook are also optional in the Check script. These exercises really are optional: you don't get credit for doing them. Of course, you can improve your theorem-proving skill by doing these exercises.

Take-home exams

The policy for take-home exams is much more restrictive. You must not discuss the take-home exams with anyone except the professor and teaching assistants of this course.

On each take-home exam you must write and sign the statement, "This paper represents my own work in accordance with University regulations." If the exam is submitted electronically, it will suffice to type your name in lieu of a signature.

In-class exams

In-class exams are govered by the usual rules of the Honor Code.