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

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

fp@cs
Frank Pfenning