15-122 Principles of Imperative Computation
Lecture 4: Arrays

  • Reading: 04-arrays.pdf
  • Code: code directory
  • Concepts:
    • Fixed-size arrays
    • Allocation
    • Initialization
    • Reading and writing array elements
    • Exceeding array bounds
    • Safety
    • For loops
    • Contracts for arrays
    • Proving safety
  • Previous lecture: Ints
  • Next lecture: Linear Search

[ Home | Schedule | Assignments | Resources ]
[ Piazza | Blackboard ]

fp@cs
Frank Pfenning