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.


[ Home | Schedule | Assignments | Resources ]
[ Blackboard | academic.cs.15-122 ]

fp@cs
Frank Pfenning