元となった辞書の項目
Hoare logic
名詞
可算名詞
不可算名詞
日本語の意味
ホア論理：コンピュータプログラムの正当性（正しさ）を論理的に検証するための形式的規則体系。ホア・トリプル（各操作前後のシステム状態の記述）に基づいて、プログラムの挙動を証明するための方法論。
（ plural ）
（ plural ）
DiQt（ディクト）
無料
★★★★★★★★★★
