Guarded Command Languageとエドガー・ダイクストラ間の類似点
Guarded Command Languageとエドガー・ダイクストラは(ユニオンペディアに)共通の1のものを持っています: 述語変換意味論。
述語変換意味論
述語変換意味論(じゅつごへんかんいみろん、Predicate Transformer Semantics)は、エドガー・ダイクストラによるホーア論理の拡張であり、その後も他の研究者が改良を加えたものである。最初に登場したのはダイクストラの論文 "Guarded commands, nondeterminacy and formal derivation of programs" であった。.
上記のリストは以下の質問に答えます
- 何Guarded Command Languageとエドガー・ダイクストラことは共通しています
- 何がGuarded Command Languageとエドガー・ダイクストラ間の類似点があります
Guarded Command Languageとエドガー・ダイクストラの間の比較
エドガー・ダイクストラが84を有しているGuarded Command Languageは、16の関係を有しています。 彼らは一般的な1で持っているように、ジャカード指数は1.00%です = 1 / (16 + 84)。
参考文献
この記事では、Guarded Command Languageとエドガー・ダイクストラとの関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください: