Hoare triple

短语

词形变化

Hoare triples 复数 Hoare triples

释义与例句

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

    计算机 工程 数学

词源

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

来源：wiktionary