English Explanatory Dictionary

Hoare triple

English dictionary entry

Meanings

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

Word forms

Hoare triple Hoare triples

Etymology

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

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