论文部分内容阅读
介绍Ｒ．Ｗ．Ｆｌｏｙｄ关于程序正确性的证明方法，并结合一个程序实例，通过证明其部分正克性和终止性来验证其正确性。
用Floyd方法证明程序正确性
【摘 要】
：
介绍Ｒ．Ｗ．Ｆｌｏｙｄ关于程序正确性的证明方法，并结合一个程序实例，通过证明其部分正克性和终止性来验证其正确性。
【机 构】
：
淮海工学院基础科学系
【出 处】
：
淮海工学院学报
【发表日期】
：
2000年2期
其他文献
【正】 小说《香水——一个凶手的故事》(以下简称《香水》)是联邦德国当代令人瞩目的作家帕特里克·聚斯金德的成名作。《香水》从1984年10月起在《法兰克福总汇报》上
在最高项系数无界的条件下讨论了二阶散度型椭圆型微分方程弱解的局部Ｈｌｅｌｄｅｒ估计，从而说明其弱解在Ω内Ｈｏｅｌｄｅｒ连续。
【正】 从十九世纪末到二十世纪,在欧洲广为人知的东方诗人,恐怕就是《鲁巴依亚特》的作者奥玛·卡伊亚姆和被传为李太白的李白二人吧。我孤陋寡闻,李白的名声在欧洲传开
在中国经济社会高速发展与人民群众高标准教育需求的背景下，如何减轻学生过重的课业负担，如何不断提高教师的素质，如何全面提升教育质量，是教育发展从数量满足期向质量提升期的新
3月14日，教育部部长周济就以下方面的问题回答了记者的提问：我国近年来在教育公平方面主要做三方面工作周济指出，近年来我国在教育公平方面主要做了三方面的事情：坚持用教育发展
<正> 国务院66号文件的颁布,是我国墙改和节能建筑推广工作,由试点起步转向全面推动,由自下而上、自发的联合行动转变为自上而下的政府行为的标志。如何做好墙改工作,特别是
教学是一门艺术，数学课堂教学中创设问题情境则更是一门艺术。“问题情境”是“人化”的，需要创设才能生成，如何创设问题情境，创设怎样的问题情境是数学教学实践中不朽的话题。数
【正】 柳鸣九先生主编的《法国20世纪文学丛书》(漓江出版社)已出版三辑,他在组稿第四辑时向我们约稿——翻译法国著名的新小说派作家米歇尔·布托(Michel Butor 1926—
这次金融风暴来势凶猛，已经严重地冲击了全球经济，带来灾难性后果，改变了整个世界经济的基本格局。应对金融风暴已经成为各国政治、经济生活中的头等大事。中国作为日益融入世界