Hoare logic

英語（米国） (en-US) 英語（イギリス） (en-GB)

名詞

可算名詞 不可算名詞

(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.

日本語の意味

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

英語の意味

(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 ）