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.

• Reading: 01-overview.pdf, 01-contracts.pdf
• Code: mystery.c0, solution.c0
• Concepts:
  • Contracts
  • Loop invariants
• Previous lecture: none
• Next lecture: Ints

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

fp@cs
Frank Pfenning