论文部分内容阅读
讨论了将HOARE逻辑应用于面向对象的程序设计语言C++程序的正确性证明的相关问题.如类的正确性以及软件系统的正确性
用HOARE逻辑证明C^＋＋程序的正确性
【摘 要】
：
讨论了将HOARE逻辑应用于面向对象的程序设计语言C++程序的正确性证明的相关问题.如类的正确性以及软件系统的正确性
【机 构】
：
西北师范大学计算机科学系
【出 处】
：
兰州大学学报：自然科学版
【发表日期】
：
2000年01期
【基金项目】
：
甘肃省自然科学基金!( ZS- 981- A2 5 - 0 2 1- G),,甘肃省教委科研基金!( 991- 2 2 )资助项目
其他文献
梁楷是南宋画家,他在继承前人绘画技法的基础上,大胆创新,将中国传统的＂儒、道、释＂思想融入到绘画理念里,创造了以＂减笔＂和＂泼墨＂为表现形式的新的绘画技法,他的＂禅意画＂有如神来之
采用L9(34)正交试验的结果表明,不同浓度的植物生长调节剂IBA和IAA对梨矮化砧木OHXF51试管苗生根的诱导作用不同,较高浓度的IBA有利于生根,但高于3.0mg·L-1时生根率明显
随着社会的不断发展,电力大客户也越来越多,而电力企业大客户往往都是用大功率设备,所以对它们的用电设备管理就更为重要。本文通过分析电力大客户的用电特点,并指出了大客户
随着素质教育的发展,教育教学经历了大刀阔斧的改革,教育者们愈加重视变革教学模式、教学方式。如何构建一种生动活泼、轻松欢愉的课堂成了当前教育者重点研究的内容。在小学
随着林业改革发展的不断深入，林业投入单价低、见效慢等问题日益凸显，成为制约林业产业发展的瓶颈。为解决林业生态建设中存在的资金筹集难、缺口大的问题，红河州牢牢把握国家出
教室,是一个学校最基础、必不可少的活动场所。录播教室的建设使用对于学校教研团队打造,师生信息素养提升,教师专业化成长起到很好促进和保障工作。
利用ＣＯ２快速测定监测了张北－尚义地震现场４个观测点的ＣＯ２动态特征，并初步讨论了ＣＯ２的来源。结果表明ＣＯ２没有明显的异常，故认为６．２级地震之后，震区构造应力没有进一步增强的迹象。因此于１９９８年１月２０日和２月
随着社会的发展,电力企业也在进行不断革新,而用电监察员是连接供电部门和客户的重要桥梁,起着至关重要的作用,所以要对其进行必要的培训,电力实训是一种有效的手段。文章结
企业要想在激烈的市场竞争中立于不败之地，就必须不断寻求新的发展，我国经济的快速增长为企业发展提供了良好的机遇．但在实际经济生活中，企业由于发展过快而陷入财务危机甚至破产