Hoare logic（ホア論理：コンピュータプログラム）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

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.

日本語の意味

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

このボタンはなに？

翻訳する

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

詳細

Hoare logics

名詞

活用形複数形

plural of Hoare logic

原形: Hoare logic

日本語の意味

この語は『Hoare logic』（ホーア論理）の複数形です。つまり、ホーア論理を複数で表現する場合に用いられます。

このボタンはなに？

Researchers compared different Hoare logics to determine which were most suitable for verifying concurrent programs.

翻訳する

研究者たちは、並行プログラムの検証に最も適したホーア論理の異なるバージョンを比較した。

詳細

Webで検索する

検索結果- 英語 - 英語

Hoare logic

Hoare logics

英語 - 英語

項目

例文

その他

ログイン / 新規登録

アプリをダウンロード！

検索結果- 英語 - 英語

Hoare logic

Hoare logics

英語 - 英語

項目

例文

その他

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！