Contextualizebeta

Hoare triple

noun

Etymology

Part of the Hoare logic proposed in 1969 by the British computer scientist and logician Tony Hoare.

Definitions

  1. A formal description of how the execution of a piece of code changes the state of the…

    A formal description of how the execution of a piece of code changes the state of the computation in Hoare logic, consisting of a command to be run, a precondition that holds true beforehand, and a postcondition that holds true afterwards.

The neighborhood

Vish — recursive loop

No curated loop yet for Hoare triple. 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