论文部分内容阅读
本文讨论了程序正确性证明的相关概念和技术,结合面向对象的C++程序的特点,提出了两种面向对象程序正确性的证明方法.
面向对象程序的正确性证明方法探讨
【摘 要】
：
本文讨论了程序正确性证明的相关概念和技术,结合面向对象的C++程序的特点,提出了两种面向对象程序正确性的证明方法.
【机 构】
：
兰州大学信息学院计算机科学与技术系(兰州)
【出 处】
：
2001年全国理论计算机科学学术会议
【发表日期】
：
2001年期
其他文献
混凝土是现代建筑工程中一种非常常用的材料，其施工技术会对工程的质量和安全产生直观影响，必须得到足够的重视。在土建工程混凝土施工中，应该依照相关要求，做好混凝土施工技术要
现代化的城市发展当中，规划建设管理已经成为了社会上高度关注的内容，要求从自身的特色出发，在产业的协调上按照积极的方法来努力，不断的巩固城市的发展空间。另一方面，今后的规划
碎石统料基层在国内外路面结构层中被广泛应用，以无结合处置粒料的方式，在保证路面层整体质量的前提下，节省了水泥等结合材料的用量，降低了材料费用，文中结合科特迪瓦奥贝公路项目
本文通过使用IDEF1X语义建模方法,保证了数据的一致性和完整性,并实现了从数据库之“分析和设计阶段”到数据库之“实现和运行阶段”的平滑转移和无缝集成,提高了管理系统的
目前常用的图像匹配技术主要借助于求相关函数的极值来实现,但由于在景物成像分析中存在着透视失真等不利用因素,因此在实际问题中采用不同的滤波预处理和不同的相关算法来减
目前在我国市政工程施工项目进行中，由于存在一系列问题，导致市政工程施工质量受到了很大的影响，并且纵观我国市政工程可见，很多市政工程几乎都存在相同的问题，因此本文主要分析了
航空发动机的气路故障诊断对于发动机的视情监控具有重要的意义。为了提高故障隔离精度，提出在传统稳态性能数据分析的基础上，融合发动机瞬态性能数据的方法。通过分析各性能参
主要阐述PW4000发动机HPC 10级防涡管卡槽孔探工装的设计思路和开发过程,介绍了开发成果的实际应用效果,并对开发过程中的经验进行了总结。
Mainly elaborates PW4000 engin