ホーア論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/21 02:23 UTC 版)
参考文献
- Robert D. Tennent: "Specifying Software" (ホーア論理を紹介している最近の教科書) ISBN 0-521-00401-2
- 荒木 啓二郎, 張 漢明『プログラム仕様記述論』オーム社〈IT Text〉、2002年。
- 林 晋『プログラム検証論』共立出版〈情報数学講座〉、1995年。
- 木村 泉, 米澤 明憲『算法表現論』岩波書店〈岩波講座 情報科学〉、1982年。
- R. W. Floyd (1967), “Assigning meanings to programs”, Proceedings of the American Mathematical Society Symposia on Applied Mathematics 19: 19–31
- C. A. R. Hoare (1969), “An axiomatic basis for computer programming”, Communications of the ACM 12(10): 576-580,583, doi:10.1145/363235.363259
- N. Wirth『系統的プログラミング入門』野下 浩平, 筧 捷彦, 武市 正人訳、近代科学社、1986年、第2版補訂。
- ロバート B. アンダスン『演習 プログラムの証明』有澤 誠訳、近代科学社〈ソフトウェア工学ライブラリ〉、1980年。
ホーア論理と同じ種類の言葉
- ホーア論理のページへのリンク