22c:123 - Programming Languages Foundations

Fall 2002

TuTh 10:55am - 12:10pm, 103 NH

Course Syllabus

Instructor

Office hours: Tue 3:30-5pm, Thu 2-3:30pm, or by appointment.

Teaching Assistant

Bharat Khatri
201C MLH
353-2446
bkhatri@cs.uiowa.edu

Office hours: Mon 12:30-2:00pm, Wed 12:30-2:00pm.

Prerequisites

Grades of C- or higher in 22C:034, 22C:044, and 22C:054; or consent of instructor.

Web Page

You are expected to check both the web site and its related bulletin board daily for announcements regarding the course.

Textbook

Additional reading material and handouts will be available from the course web site.

Course Purpose

• expose students to established techniques for providing precise and implementation independent definitions of programming languages;
• help student develop deeper insights into key concepts and paradigms in programming;
• investigate methods for constructing correct programs and rigorously proving their properties.

Homework Assignments

Exams

There will be one midterm exam and one final exam. The midterm will be held during class time. The final exam will be held as per university schedule.

Grading

The weighting of items in grade determination will be the following:

The following cutoffs will be used to determine letter grades. In the ranges below, x stands for your total score at the end of the semester. Final scores near a cutoff will be individually considered for the next higher grade. Plus(+) and minus(-) grades will also be given; their cutoffs will be determined at the end of the semester.

We do not curve grades in this course. It is theoretically possible for everyone in the class to get an A (or an F). Your final grade depends only on your own performance and not on that of others.

Course Policies

Textbooks: You are expected to study all the material in each chapter covered in the readings even if that material is not explicitly discussed in class or in the homework. You are also expected to study the extra material presented in class which is not in the textbook. If you must miss a class, get notes from a classmate. Material presented in class, but not in the book may appear on tests.

Readings and discussions: You are urged to consult sources other than our text, including both reserve books and on-line material, even if there is no directed outside reading assignment. You are also encouraged to discuss the course topics with your classmates. It is a genuinely helpful learning activity having to formulate your own thoughts about the material well enough to express them to others.

Homework assignments: You are allowed and encouraged to discuss the homework assignments with your classmates, but you are not allowed to share solutions. Since the homework counts as a significant portion of your grade, it is expected that the submitted work be strictly your own.
(The following rule of thumb will help you not to cross the line: discuss the assignments together but do not take any written notes; go home and write the solution by yourself.)

Cheating: Copying someone else's work or sharing solutions will result in a zero on the assignment for the first offense and an F in the course for the second offense.

Late submissions: Written assignments are to be submitted in class, before the class starts. Late written assignments can be handed in during office hours or in class. Alternatively, they can be put in the instructor's or the TA's mailbox. In that case, you must notify us by email at once.
Programming assignments are to be submitted electronically by or after the given deadline, subject to the penalty and limitations below.
Both late written and programming assignments will be graded according to the following policy:

• 15% of the actual score will be taken off for assignments submitted between 0 and 24 hours after the deadline.
• 35% of the actual score will be taken off for assignments submitted between 24 and 48 hours after the deadline.
• No assignments will be accepted after that.

Extra credit: No extra-credit homeworks or tests will be given on an individual basis (although they maybe given to the whole class).

Make-up exams: Make-up exams will be offered only if there is a serious, documented reason for not being able to attend a scheduled exam, and if the request is made at least a week before the scheduled exam.

Regrading: If you think that your homework assignment has been misgraded and deserves a regrading, you are invited to let us know. Go see the class TA first, and then the instructor, if you are unhappy with the TA's response. Regrading policies for the midterm will be announced in class when the graded exams are handed back. We welcome and will give full consideration to all well motivated regrading requests.

Special needs: The instructors must hear from anyone who has a disability that may require some modification of seating, testing, or other class requirements so that appropriate arrangements can be made. Please see the instructor after class or during office hours.

Computing Facilities

We will use the HP and Linux workstations in the CS Educational Lab in 301 MLH. Please see the instructor after class if do not have a CS account yet.

Outline