Hoare logic

名词 n.
中文释义

英文释义

名词 n.
  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. countable,uncountable

词形变化

Hoare logics plural

词源

Proposed in 1969 by the British computer scientist and logician Tony Hoare.
0 次浏览 数据来源: Wiktionary