Contextualizebeta

Hoare logic

noun

Etymology

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

Definitions

  1. A formal system of rules for reasoning about the correctness of computer programs, based…

    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.

The neighborhood

Vish — recursive loop

No curated loop yet for Hoare logic. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA