论文部分内容阅读
本文形式地描述了一种证明程序能够正确地进行计算的方法，为了做到这一点，这里给出了一个程序及其执行的抽象模型。然后相对于这一模型给出了程序正确性和程序正确性证明的方法。
程序正确性证明的一种方法
【摘 要】
：
本文形式地描述了一种证明程序能够正确地进行计算的方法，为了做到这一点，这里给出了一个程序及其执行的抽象模型。然后相对于这一模型给出了程序正确性和程序正确性证明的方法
【机 构】
：
哈尔滨投资高等专科学校,黑龙江省第一建筑工程公司
【出 处】
：
大电机技术
【发表日期】
：
1998年3期
其他文献
周六,我受邀为新教师上课。 为新教师培训,不是第一次了,所以信心还是十足的,尽管下面的听众中有不少都是经验丰富、历经风雨的“新”骨干教师。内容关乎自己的专业,在教育中摸爬滚打了多年,大学里的知识和理论也渐渐于实践中寻找到了支撑和依托。因此,对于自己而言,每次的讲座都无异于一次交流和重新的提升,短短几个小时也成了一次次愉快的“学习”之旅。于此心态之下,听课的老师们往往也会受到鄙人激情和言语的感染,
一、创作要基于对刻瓷艺术的热爱和执着刻瓷艺术的创作是一个辛苦但很享受的过程，用现在年轻人时髦的话语就是累许享受着，很憧憬“采菊东篱下，悠然见南山”的创作环境，这并不是思
在日志监控系统的实现中,定时任务是实现其智能化的一个有效手段。为了保证日志监控系统的实时性,需要不断地获取日志文件中更新的内容,定时任务是实现及时获取日志信息的有
在课堂教学中，由于学生的知识水平、兴趣爱好、性格特点各异，他们的表现必然会千差万别，加之外界环境影响，课堂教学中出现偶发事件、意外情况是难免的。
新中国成立后沿袭了50多年的村会计职位,如今在内蒙古呼伦贝尔市阿荣旗正式退出了历史的舞台,村干部再也不能像以前那样随心所欲地支配村里的财务了.