Wiki
Support
mar.io
公理的意味論
公理的意味論
(こうりてきいみろん、Axiomatic Semantics)とは、
数理論理学
に基づいてプログラムの正当性を証明する手法。
ホーア論理
と密接に関連している。
関連項目
代数的意味論
(英語版)
プログラム意味論
述語変換意味論
表示的意味論
操作的意味論
表明 (プログラミング)
表示
編集
ToC
関連項目
Trending
黒木華
作間龍斗
薬屋のひとりごと
新井和輝
ジャパンカップ
森崎ウィン
豊臣秀頼
千姫
方広寺鐘銘事件
麻倉未稀
八木沼純子
徳川家康
Recent Change
ルドルフ・バッヒャー
鄭麟趾
ニッセイ浜松町クレアタワー
日本生命浜松町クレアタワー
上田常光
スペーシアX (列車)
津波避難タワー
命山
中勢 (曖昧さ回避)
オムカル プラサド バイディア
オルモ・ロック
スポーツベット・アイオー