ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
Hoare triples
名詞
活用形
複数形
plural of Hoare triple
原形:
Hoare triple
日本語の意味
Hoare tripleの複数形
英語の意味
plural of Hoare triple
Hoare triple
名詞
(computing theory) A formal description of how the execution of a piece of code changes the state of the computation in Hoare logic, consisting of a command to be run, a precondition that holds true beforehand, and a postcondition that holds true afterwards.
日本語の意味
ホーア論理において、プログラムの一部の実行による状態の変化を、実行前の前提条件、実行される命令（あるいはコード）、および実行後の事後条件の三要素で形式的に記述したもの
英語の意味
(computing theory) A formal description of how the execution of a piece of code changes the state of the computation in Hoare logic, consisting of a command to be run, a precondition that holds true beforehand, and a postcondition that holds true afterwards.
関連語
