Com S 641/Refinement Calculus Seminar

Computer Science 641 - Semantic Models for Programming Languages

This is the home page for Com S 641 at Iowa State University, as taught in Spring 2002 by Gary T. Leavens.

	Date	News Item
	8/22/2002	The refinement calculus seminar is being offered this Fall semester. If you are interested, please email your schedule to Gary.
	5/4/2002	The syllabus has been updated to reflect what we really did.
	3/10/2002	The link to the full text lecture notes directory has been corrected. Lecture notes have been updated to include an expanded version of the notes from Cohen's chapter 2 (on an algebraic treatment of the boolean operators) and Cohen's chapter 3 (on an algebraic treatment of the boolean quantification). You may, however, be better off taking notes from the meeting outlines in the meeting outlines directory. These are also accessible from the syllabus.

Questions and Answers

Often a student will ask a question that provokes an answer of use to other students. When this happens, in addition to answering the student directly, we will post the question and answer on the Q & A page. Urgent answers will also be sent to the course mailing list.

Email

We will regularly send course-related email to your department Unix account. You are responsible for reading email on this account at least once per day during the week. If it is not convenient for you to read email on this account you are responsible for forwarding your email to a more convenient location.

Feedback

Prompt, frequent and constructive feedback is essential to success in any endeavor. For this reason we strive to grade your work in a timely manner. We would also appreciate your feedback on the course. Please use send us email or come and talk to us to provide constructive criticism and offer suggestions (or dole out praise ).

Last modified Thursday, August 22, 2002.