Wiki
Support
mar.io
公理的意味論
公理的意味論
(こうりてきいみろん、Axiomatic Semantics)とは、
数理論理学
に基づいてプログラムの正当性を証明する手法。
ホーア論理
と密接に関連している。
関連項目
代数的意味論
(英語版)
プログラム意味論
述語変換意味論
表示的意味論
操作的意味論
表明 (プログラミング)
表示
編集
ToC
関連項目
Trending
方広寺鐘銘事件
ジャパンカップ
薬屋のひとりごと
張本美和
オレたちひょうきん族
キタサンブラック
井口理
大竹しのぶ
伊集院静
淀殿
井川慶
森崎ウィン
Recent Change
ルドルフ・バッヒャー
鄭麟趾
ニッセイ浜松町クレアタワー
日本生命浜松町クレアタワー
上田常光
スペーシアX (列車)
津波避難タワー
命山
中勢 (曖昧さ回避)
オムカル プラサド バイディア
オルモ・ロック
スポーツベット・アイオー