15-122 Principles of Imperative Computation
Lecture 1: Overview

We discuss goals course and organization, followed by an analysis of a "mysterious" function which contains one or two bugs to be fixed.

• Reading: 01-overview.pdf
• Code: mystery2.c0, code directory
• Concepts:
  • Contracts
  • Loop invariants
• Previous lecture: none
• Next lecture: Contracts

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

fp@cs
Frank Pfenning