The story
Proposed in 1969 by the British computer scientist and logician Tony Hoare.
Etymology from Wiktionary, CC BY-SA 4.0.
Hoare logic
Today it means: A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations. Full definition →