4. Redundant invariants

• Given 0 ? i ? j

• Redundant a[i] ? a[0..j] max(a[0..i]) ? max(a[0..j])

• Redundant invariants are logically implied

• Implementation contains many such tests

Previous slide

Next slide

Back to first slide

View graphic version