Definitions from Wiktionary (Hoare triple)
▸ noun: (computing theory) 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.
▸ Words similar to Hoare triple
▸ Usage examples for Hoare triple
▸ Idioms related to Hoare triple
▸ Wikipedia articles (New!)
▸ Words that often appear near Hoare triple
▸ Rhymes of Hoare triple
▸ Invented words related to Hoare triple
▸ noun: (computing theory) 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.
Similar:
hoarness,
horseshoe,
yo-heave-ho theory,
HOLAP,
H.O.R.S.E.,
Hoovernomics,
Healey's law,
Haskell,
hoohar,
Healey's first law of holes,
more...
Opposite:
▸ Words similar to Hoare triple
▸ Usage examples for Hoare triple
▸ Idioms related to Hoare triple
▸ Wikipedia articles (New!)
▸ Words that often appear near Hoare triple
▸ Rhymes of Hoare triple
▸ Invented words related to Hoare triple