エドガー・ダイクストラとホーア論理間の類似点
エドガー・ダイクストラとホーア論理は(ユニオンペディアに)共通で6ものを持っています: 形式的検証、ニクラウス・ヴィルト、アントニー・ホーア、述語変換意味論、構造化プログラミング、正当性 (計算機科学)。
形式的検証
形式的検証(けいしきてきけんしょう)とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティに照らしてシステムが正しいことを証明したり、逆に正しくないことを証明することである。.
エドガー・ダイクストラと形式的検証 · ホーア論理と形式的検証 ·
ニクラウス・ヴィルト
ニクラウス・ヴィルト (Niklaus Wirth, 1934年2月15日 -)はスイスの計算機科学者。プログラミング言語Pascal、Modula-2などの開発や、ソフトウェア工学分野の開拓的研究で知られる。.
エドガー・ダイクストラとニクラウス・ヴィルト · ニクラウス・ヴィルトとホーア論理 ·
アントニー・ホーア
チャールズ・アントニー・リチャード・ホーア(Charles Antony Richard Hoare、1934年1月11日 - )はイギリスの計算機科学者。通称はトニー・ホーア(Tony Hoare)またはC・A・R・ホーア。 クイックソート(一般的な場合には最も性能の良い実装ができるとされるソートアルゴリズム)の考案でも知られるが、専門的な業績としては、ホーア論理や、並行プロセスを形式記述するCommunicating Sequential Processes(CSP)などがある。CSPはプログラミング言語Occamに示唆を与えた。.
アントニー・ホーアとエドガー・ダイクストラ · アントニー・ホーアとホーア論理 ·
述語変換意味論
述語変換意味論(じゅつごへんかんいみろん、Predicate Transformer Semantics)は、エドガー・ダイクストラによるホーア論理の拡張であり、その後も他の研究者が改良を加えたものである。最初に登場したのはダイクストラの論文 "Guarded commands, nondeterminacy and formal derivation of programs" であった。.
エドガー・ダイクストラと述語変換意味論 · ホーア論理と述語変換意味論 ·
構造化プログラミング
構造化プログラミング(こうぞうかプログラミング、structured programming)は、1960年代後半にエドガー・ダイクストラらによって提唱された、構造化されたプログラムの構成要素(制御構造)の利用や、 p.49)-->段階的詳細化などを特徴とするプログラミング手法である。.
エドガー・ダイクストラと構造化プログラミング · ホーア論理と構造化プログラミング ·
正当性 (計算機科学)
計算機科学における正当性(Correctness)とは、アルゴリズムがその仕様に照らして正しいことを意味する。「機能的」正当性とは、アルゴリズムの入出力動作に関する正当性である(すなわち、各入力に対して正しく出力を生成すること)。形式的検証を参照されたい。 完全正当性(Total Correctness)は、アルゴリズムが常に停止することも要求される。一方、部分正当性(Partial Correctness)は単に返ってくる答えが正しいことのみを要求する(常に答えが返ってくるとは限らない)。停止問題には汎用的解法はないので、完全正当性はより深い問題をはらんでいる。 例えば、整数を 1 から順に調べて奇数の完全数を探すとした場合、部分正当性を備えたプログラムを書くのは極めて簡単である(素因数分解を行って n が完全数かどうかを調べる)。しかし、そのプログラムが完全正当性を備えているとするには数論において未知の知識を必要とする。 正当性の証明は数学的証明でなければならず、アルゴリズムもその仕様記述も形式的に与えられなければならない(形式的仕様記述)。特にその証明は、そのアルゴリズムを特定のマシン上でプログラムとして実装したものについて正当性を意味するものではない。その場合メモリ量の限界を考慮する必要がある。 証明論におけるカリー・ハワード対応は、直観主義論理における機能的正当性の証明がラムダ計算における特定プログラムに対応するとしている。このような証明の変換を「プログラム抽出; program extraction」と呼ぶ。.
上記のリストは以下の質問に答えます
- 何エドガー・ダイクストラとホーア論理ことは共通しています
- 何がエドガー・ダイクストラとホーア論理間の類似点があります
エドガー・ダイクストラとホーア論理の間の比較
ホーア論理が29を有しているエドガー・ダイクストラは、84の関係を有しています。 彼らは一般的な6で持っているように、ジャカード指数は5.31%です = 6 / (84 + 29)。
参考文献
この記事では、エドガー・ダイクストラとホーア論理との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください: