Constructive Logics for Program Correctness
著者
書誌事項
Constructive Logics for Program Correctness
Maruzen Planet, c2012
- : [pbk.]
大学図書館所蔵 件 / 全6件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 301-304
内容説明・目次
目次
- １ Ｐｒｏｇｒａｍ Ｃｏｒｒｅｃｔｎｅｓｓ Ｆｏｒｍｕｌａｅ ａｎｄ Ｔｈｅｉｒ Ｂａｓｉｃ Ｐｒｏｐｅｒｔｉｅｓ（Ｎｏｔｉｏｎｓ ｏｆ Ｐｒｏｇｒａｍ Ｃｏｒｒｅｃｔｎｅｓｓ；Ｐｒｏｐｅｒｔｉｅｓ ｏｆ Ｃｏｒｒｅｃｔｎｅｓｓ Ｆｏｒｍｕｌａｅ ｓｐ（Ｓ，Ｑ）ａｎｄ ｖｐ（Ｓ，Ｑ））
- ２ Ｌｏｇｉｃｓ ｆｏｒ Ｐｒｏｇｒａｍ Ｃｏｒｒｅｃｔｎｅｓｓ ｉｎ Ｃｌａｓｓｉｃａｌ Ｌｏｇｉｃ Ｆｒａｍｅｗｏｒｋ（ＪＴｓｐ：Ｌｏｇｉｃ ｆｏｒ Ｓｔｒｏｎｇ Ｃｏｒｒｅｃｔｎｅｓｓ ｏｆ Ｐｒｏｃｅｄｕｒａｌ Ｐｒｏｇｒａｍｓ；ＪＴｚｐ：Ｌｏｇｉｃ ｆｏｒ Ｓｔｒｏｎｇ Ｃｏｒｒｅｃｔｎｅｓｓ ｏｆ Ｆｕｎｃｔｉｏｎａｌ Ｐｒｏｇｒａｍｓ ほか）
- ３ Ｆｕｌｌｙ Ｃｏｎｓｔｒｕｃｔｉｖｅ Ｌｏｇｉｃｓ ｆｏｒ Ｐｒｏｇｒａｍ Ｃｏｒｒｅｃｔｎｅｓｓ ａｎｄ Ｐｒｏｂｌｅｍ Ｓｐｅｃｉｆｉｃａｔｉｏｎ Ｌｏｇｉｃ（Ｆｕｌｌｙ Ｃｏｎｓｔｒｕｃｔｉｖｅ Ｌｏｇｉｃ ｏｎ ｓｐ（Ｓ，Ｑ）ａｎｄ ＰＳ ｌｏｇｉｃ；Ｆｕｌｌｙ Ｃｏｎｓｔｒｕｃｔｉｖｅ Ｌｏｇｉｃ ｏｎ ｚｐ（ＦＤ，Ｑ）ａｎｄ ＰＳ ｌｏｇｉｃ）
- ４ Ｃｏｒｒｅｃｔｎｅｓｓ ｏｆ Ｓｔｒｅａｍ Ｐｒｏｇｒａｍｓ ａｎｄ Ｃｏｎｓｔｒｕｃｔｉｖｅ Ｓｅｍａｎｔｉｃｓ（Ｃｏｒｒｅｃｔｎｅｓｓ ｏｆ Ｓｔｒｅａｍ Ｐｒｏｇｒａｍｓ；Ｐｒｏｇｒａｍ Ｃｏｒｒｅｃｔｎｅｓｓ ａｎｄ Ｃｏｎｓｔｒｕｃｔｉｖｅ Ｉｄｅｎｔｉｔｙ ｆｏｒ Ｐｒｏｇｒａｍｓ ほか）
「BOOKデータベース」 より
