ホーア論理
Hoare logic
構造化プログラミング
-
公理的意味論
-
プログラム検証
第一階述語論理
-
自然演繹
Pascal
Communicating Sequential Processes
契約による設計
述語変換意味論
静的コード解析
カリー・ハワード同型対応
-
マーティン＝レーフの型理論
（表明の代わりに型を利用したもの）
関連人物
エドガー・ダイクストラ
ニクラウス・ヴィルト
ペール・マルティン＝レーフ
ホーア論理 - Wikipedia