English Explanatory Dictionary

Hoare logic

English dictionary entry

Meanings

noun
  1. 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.

Word forms

Hoare logic Hoare logics

Etymology

Proposed in 1969 by the British computer scientist and logician Tony Hoare.

Synonyms

Floyd-Hoare logic
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on H Russian dictionary Dahl dictionary