15-122 Principles of Imperative Computation
Lecture 25: Engineering Better Software at Microsoft

• Reading: 25-sal.pdf
• Code: none
• Concepts:
  • SAL annotation language
  • Memory cell semantics
  • Qualified types
  • Pre- and post-conditions
  • Structure invariants
  • Program analysis
  • Accuracy vs. completeness
  • Dynamic vs static analysis
  • Local vs global analysis
• Previous lecture: Spanning Trees
• Next lecture: Union-Find