Constructive Logics for Program Correctness
Author(s)
Bibliographic Information
Constructive Logics for Program Correctness
Maruzen Planet, c2012
- : [pbk.]
Available at / 6 libraries
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. 301-304
Description and Table of Contents
Table of Contents
- １ Ｐｒｏｇｒａｍ Ｃｏｒｒｅｃｔｎｅｓｓ Ｆｏｒｍｕｌａｅ ａｎｄ Ｔｈｅｉｒ Ｂａｓｉｃ Ｐｒｏｐｅｒｔｉｅｓ（Ｎｏｔｉｏｎｓ ｏｆ Ｐｒｏｇｒａｍ Ｃｏｒｒｅｃｔｎｅｓｓ；Ｐｒｏｐｅｒｔｉｅｓ ｏｆ Ｃｏｒｒｅｃｔｎｅｓｓ Ｆｏｒｍｕｌａｅ ｓｐ（Ｓ，Ｑ）ａｎｄ ｖｐ（Ｓ，Ｑ））
- ２ Ｌｏｇｉｃｓ ｆｏｒ Ｐｒｏｇｒａｍ Ｃｏｒｒｅｃｔｎｅｓｓ ｉｎ Ｃｌａｓｓｉｃａｌ Ｌｏｇｉｃ Ｆｒａｍｅｗｏｒｋ（ＪＴｓｐ：Ｌｏｇｉｃ ｆｏｒ Ｓｔｒｏｎｇ Ｃｏｒｒｅｃｔｎｅｓｓ ｏｆ Ｐｒｏｃｅｄｕｒａｌ Ｐｒｏｇｒａｍｓ；ＪＴｚｐ：Ｌｏｇｉｃ ｆｏｒ Ｓｔｒｏｎｇ Ｃｏｒｒｅｃｔｎｅｓｓ ｏｆ Ｆｕｎｃｔｉｏｎａｌ Ｐｒｏｇｒａｍｓ ほか）
- ３ Ｆｕｌｌｙ Ｃｏｎｓｔｒｕｃｔｉｖｅ Ｌｏｇｉｃｓ ｆｏｒ Ｐｒｏｇｒａｍ Ｃｏｒｒｅｃｔｎｅｓｓ ａｎｄ Ｐｒｏｂｌｅｍ Ｓｐｅｃｉｆｉｃａｔｉｏｎ Ｌｏｇｉｃ（Ｆｕｌｌｙ Ｃｏｎｓｔｒｕｃｔｉｖｅ Ｌｏｇｉｃ ｏｎ ｓｐ（Ｓ，Ｑ）ａｎｄ ＰＳ ｌｏｇｉｃ；Ｆｕｌｌｙ Ｃｏｎｓｔｒｕｃｔｉｖｅ Ｌｏｇｉｃ ｏｎ ｚｐ（ＦＤ，Ｑ）ａｎｄ ＰＳ ｌｏｇｉｃ）
- ４ Ｃｏｒｒｅｃｔｎｅｓｓ ｏｆ Ｓｔｒｅａｍ Ｐｒｏｇｒａｍｓ ａｎｄ Ｃｏｎｓｔｒｕｃｔｉｖｅ Ｓｅｍａｎｔｉｃｓ（Ｃｏｒｒｅｃｔｎｅｓｓ ｏｆ Ｓｔｒｅａｍ Ｐｒｏｇｒａｍｓ；Ｐｒｏｇｒａｍ Ｃｏｒｒｅｃｔｎｅｓｓ ａｎｄ Ｃｏｎｓｔｒｕｃｔｉｖｅ Ｉｄｅｎｔｉｔｙ ｆｏｒ Ｐｒｏｇｒａｍｓ ほか）
by "BOOK database"