一种形式化开发非递归算法的方法

• 作者: 石海鹏 石海鹤 薛锦云
• 来源期刊: 计算机应用研究
• 关键词: 形式化方法 非递归 PAR 循环不变式 可靠性
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 开发应用
• 页码范围: 203-205
• 页数: 3页
• 分类号: TP311.1
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2007.11.062

摘要

提出了一种简单、统一的形式化开发非递归算法的方法.该方法直接面向非递归算法,在形式化方法PAR的指导下,使用循环不变式的开发新策略,在得到求解递归问题的循环不变式的同时,能直接得到易读、高效且可靠的非递归算法,并通过一个具体实例进行了阐述.对使用形式化方法及循环不变式开发新策略开发非递归算法的方法作了较深入的实践和探讨.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	石海鹤	江西师范大学计算机信息工程学院	18	111	6.0	10.0
5	石海鹏	江西师范大学软件学院	6	42	4.0	6.0
6	薛锦云	江西师范大学计算机信息工程学院	77	745	15.0	23.0