| 程序的形式推导方法 |
| |
| 引用本文： | 彭佳红,张军.程序的形式推导方法[J].吉首大学学报(自然科学版),2001,22(4):54-56. |
| |
| 作者姓名： | 彭佳红 张军 |
| |
| 作者单位： | ( 1. 吉首大学数学与计算机科学系, 湖南 吉首 416000; 2.吉首大学教务处, 湖南 吉首 416000) |
| |
| 摘 要： | 阐述了形式推导方法的基本理论和基本思想.程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发与证明同时进行. 以实例说明了程序形式推导方法的使用.
|
| 关 键 词： | 程序的形式推导方法 程序规范 循环不变式 界函数 |
| 文章编号： | 1007-2985(2001)04-0054-03 |
| 修稿时间： | 2001年8月18日 |
Formal Derivation Method of Programs |
| |
| PENG Jia-hong ,ZHANG Jun.Formal Derivation Method of Programs[J].Journal of Jishou University(Natural Science Edition),2001,22(4):54-56. |
| |
| Authors: | PENG Jia-hong ZHANG Jun |
| |
| Institution: | ( 1. Department of Mathematics and Computer Sciences, Joshou University , Jishou 416000, Hunan China;2. Dept. of Educational Administration of Jishou University, Jishou 416000, Hunan China) |
| |
| Abstract: | This paper expounds the basic theory and basic ideas of Formal derivation method of programs.Formal devivation of programs is a developing method of programs based on the proof theory of program correctness.It can make the proof process and the devolopment of the program in progress in the meantime.And this paper illustrates how to use formal derivation of programs. |
| |
| Keywords: | formal derivation method of programs program specification loop invariant boundary function |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《吉首大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《吉首大学学报(自然科学版)》下载免费的PDF全文 |
