Other uses for invariants

• Documenting code

• Checking assumptions: convert to assert

• Locating unusual conditions

• Providing hints for higher-level profile-directed compilation [Calder]

• Bootstrapping proofs [Wegbreit][Bensalem]

• …

Previous slide

Next slide

Back to first slide

View graphic version