Class 21
Held: Monday, 27 February 2017
We revisit preconditions. We then consider programming techniques for ensuring that preconditions are met.
Preliminaries
Overview
- Verifying preconditions
- The error procedure
- Husk and kernel programming
Related Pages
Updates
News / Etc.
- Quizzes 6 and 7 returned. We may want to chat a bit about quiz 6.
- At the end of today’s class, you will be half way through CSC 151. Congratulations!
- Quiz Friday: Identify your classmates.
- Reminder: Send me your nickname if P’Web does not match.
Upcoming Work
- Writeup for class 20 due Wednesday at 10:30 p.m.
- Exercises 3d and 3e.
- To: csc151-01-grader@grinnell.edu
- Writeup for class 21 due Friday at 10:30 p.m.
- Exercise 5
- To: csc151-01-grader@grinnell.edu
- Subject: CSC 151.01 Writeup 21 (YOUR NAMES)
- Reading for Friday’s class: Naming local procedures
- Exam 2 cover sheets due NOW!
- Exam 2 epilogue due TONIGHT at 10:30 p.m.
Extra credit (Academic/Artistic)
- Trio TONIGHT at 7:30 p.m. in Sebring-Lewis.