411 REFERENCE · Wiktionary
Hoare logic
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Proposed in 1969 by the British computer scientist and logician Tony Hoare.
Noun
~
en comptheory 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.
en Floyd-Hoare logic
en eponyms