| 意味 |
Hoare tripleとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
Wiktionary英語版での「Hoare triple」の意味 |
Hoare triple
語源
Part of the Hoare logic proposed in 1969 by the British computer scientist and logician Tony Hoare.
名詞
Hoare triple (複数形 Hoare triples)
- (コンピューター 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.
下位語
|
| 意味 |
Hoare tripleのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、WiktionaryのHoare triple (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！※モジュールの非表示は、から変更可能
みんなの検索ランキング
-
1shipping policy
-
2土地
-
3divot
-
4eight
-
5meet
-
6take
-
7square brackets
-
8while
-
9available
-
10feature
閲覧履歴
 | 「Hoare triple」のお隣キーワード |
weblioの他の辞書でも検索してみる
weblioのその他のサービス
weblioのその他のサービス
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
