Hoare logic (English, noun)
expansion: Hoare logic (countable and uncountable, plural Hoare logics)
Senses:
topics: computing
computing-theory
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: 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.
tags: countable
uncountable
Forms:
form: Hoare logics
tags: plural