Cormac Flanagan

Suggest Changes
Learn More
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specifications they support. Dynamically-checked contracts can(More)