CS 5010: Module 07

Module Overview

Some problems are not easily solved using our usual observer templates. Others are solved only inefficiently by following those templates. We introduce two new kinds of generalization to help solve such problems. We introduce invariants as a way of recording the assumptions that a function makes about its environment.

Course Map

course map


Read Part VI from our textbook. We are doing things in a different order than the textbook. We are also doing this topic rather differently, so use the textbook as background rather than as a normative reference.



Problem Set

Problem Set 07 was assigned on Monday, 27 February.

For debugging: Click here to validate.