|
|||||
|
|
| 用HOARE逻辑证明C^＋＋程序的正确性 | |
| 引用本文： | 王彩芬.用HOARE逻辑证明C^＋＋程序的正确性[J].兰州大学学报(自然科学版),2000,36(1):44-47. |
| 作者姓名： | 王彩芬 |
| 作者单位： | 西北师范大学计算机科学系 |
| 摘 要： | 讨论了将ＨＯＡＲＥ逻辑应用于面向对象的程序设计语言Ｃ＾＋＋程序的正确性证明的相关问题，如类的正确性以及软件系统的正确性。 |
| 关 键 词： | HOARE逻辑 面向对象 程序设计 |
| 修稿时间： | ： |
| 本文献已被 维普 等数据库收录！ | |
|
||||||||||||||||||||||||
|
||||||||||||||||||||||||
|
||||||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |