01
Tony Hoare and Hoare Logic: Giving Programs Mathematical Contracts
Hoare logic organized program proofs around preconditions, commands and postconditions, creating a compositional calculus that still shapes verification tools and software contracts.
↗