Hoare的翻译

It makes full use of the advantages, including that algebraic semantics describes the abstract data types, Hoare logic describes the software functions and UNYFY logic describes the properties of parallel programs.

其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。

The idea proposed by Brookes for verifying concurrent programs was applied to Hoare's Communicating Sequential Processes ( CSP). A set of proof rules was presented to verify CSP programs partial correctness.

本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程（CSP），提出了一组证明规则，以验证CSP程序的部分正确性。

Miss Hoare called out names and marked them off.

霍尔小姐点名后把它们一一划掉。