程序的形式推导方法

• 作者: 张军 彭佳红
• 来源期刊: 吉首大学学报(自然科学版)
• 学科: 工学
• 关键词: 程序的形式推导方法 程序规范 循环不变式 界函数
• 年，卷（期）: 2001,（4）
• 所属期刊栏目: 重点科学
• 页码范围: 54-56
• 页数: 3页
• 分类号: TP311.11
• 字数: 2025字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-2985.2001.04.014

摘要

阐述了形式推导方法的基本理论和基本思想.程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发与证明同时进行.以实例说明了程序形式推导方法的使用.