Hoare logic

短语

词形变化

Hoare logics 复数 Hoare logics

释义与例句

n.
  1. 1.

    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.

    可数 不可数 计算机 工程 数学

词源

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

来源：wiktionary