Hoare logic
Noun
Meaning
Hoare logic (countable and uncountable, plural Hoare logics)
(computing theory) 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.
Examples
Alternative methods such as Hoare logic and uniqueness have been developed to track side effects in programs.