English Dictionary

Hoare logic

名詞

可算名詞 不可算名詞

(computing theory) 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.

日本語の意味

ホア論理：コンピュータプログラムの正当性（正しさ）を論理的に検証するための形式的規則体系。ホア・トリプル（各操作前後のシステム状態の記述）に基づいて、プログラムの挙動を証明するための方法論。

To ensure reliability, the research team applied Hoare logic to prove that the concurrent scheduler maintained its invariants under all thread interleavings.

信頼性を確保するため、研究チームはホーア論理（ホーア三つ組に基づくプログラムの正当性を推論する形式体系）を適用し、並行スケジューラがすべてのスレッドのインタリーブに対して不変条件を維持することを証明した。

意味（1）

(computing theory) 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.

Hoare logics （ plural ）