Skip to main content

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

Updates

Can’t find daily preliminaries!

counter: 21

num: 21

info:

filepath: _prelim/prelim.21.md

Accessibility statement. Check accessibility with WAVE.

Copyright © Charlie Curtsinger, Sarah Dahlby Albright, Janet Davis, Titus Klinge, Samuel A. Rebelsky, and Jerod Weinman. Selected materials are copyright by John David Stone or Henry Walker and are used with permission.

This work is licensed under a Creative Commons Attribution 3.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nc/3.0/ or send a letter to Creative Commons, 543 Howard Street, 5th Floor, San Francisco, California, 94105, USA.

This website was built using Jekyll, Twitter Bootstrap, and the Bootswatch Cosmo Theme.