Discussion
Mixed static analysis with the use of dynamic invariants
Invariants provided a suitable basis for the programmer’s own, more complex inferences
- Since the invariants are in terms of source code entities, the programmer could do other analysis to better understand these issues
Invariants acted as a succinct abstraction of a mass of supporting data