15-122 Principles of Imperative Computation
Lecture 4: Arrays

• Reading: none
• Code: array.c0, challenge2sol.c0 code directory
• Concepts:
  • Laws of modular arithmetic
  • Loop invariant for mystery challenge
  • Proving loop invariants and function contracts
  • Arrays in C0
• Previous lecture: Ints
• Next lecture: Linear Search

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

fp@cs
Frank Pfenning