15-122 Principles of Imperative Computation
Lecture 1: Overview
We discuss course goals and course organization, followed
by an analysis of a "mysterious" function which contains
one or two bugs which we fix by writing appropriate
contracts and loop invariants.