| 一种形式化开发非递归算法的方法* |
| |
| 引用本文： | 石海鹤,石海鹏,薛锦云.一种形式化开发非递归算法的方法*[J].计算机应用研究,2007,24(11):203-205. |
| |
| 作者姓名： | 石海鹤 石海鹏 薛锦云 |
| |
| 作者单位： | 1. 江西师范大学,计算机信息工程学院,南昌,330022;中国科学院,软件研究所,计算机科学国家重点实验室,北京,100080
2. 江西师范大学,软件学院,南昌,330022 |
| |
| 基金项目： | 国家自然科学基金
,
江西师范大学校科研和教改项目 |
| |
| 摘 要： | 提出了一种简单、统一的形式化开发非递归算法的方法.该方法直接面向非递归算法,在形式化方法PAR的指导下,使用循环不变式的开发新策略,在得到求解递归问题的循环不变式的同时,能直接得到易读、高效且可靠的非递归算法,并通过一个具体实例进行了阐述.对使用形式化方法及循环不变式开发新策略开发非递归算法的方法作了较深入的实践和探讨.
|
| 关 键 词： | 形式化方法 非递归 PAR 循环不变式 可靠性 形式化方法 开发 非递归算法 algorithm developing 实践 阐述 递归问题 求解 新策略 循环不变式 使用 指导 统一 |
| 文章编号： | 1001-3695（2007）11-0203-03 |
| 修稿时间： | 2006-07-15 |
Method for formally developing non recursive algorithm |
| |
| SHI Hai he,SHI Hai peng,XUE Jin yun.Method for formally developing non recursive algorithm[J].Application Research of Computers,2007,24(11):203-205. |
| |
| Authors: | SHI Hai he SHI Hai peng XUE Jin yun |
| |
| Abstract: | This paper described an easy, unified formal method for developing non-recursive algorithms. Under the direction of PAR the method aimed at non-recursive algorithm directly, which emploied the new strategy of developing loop invariant, and achieved loop invariant of recursive problem with readable, efficient and reliable non-recursive algorithm finally. Also gave an example for describing this method. The paper contributes to develop non-recursive algorithm with formal method and new strategy of developing loop invariant. |
| |
| Keywords: | formal method non-recursive PAR loop invariant reliability |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
