Linked from

The 3 pages that link to Tony Hoare, each with the reason it gives.

• Hoare logicRelated: His 1969 paper presented the logic’s characteristic assertion-based rules.

• Edsger W. DijkstraRelated: Hoare logic complemented Dijkstra’s program-verification work with a widely used proof notation.

• Formal methodsRelated: His logic supplied a method for proving properties of programs.