形式化开发Hanoi塔问题非递归算法

• 作者: 石海鹏 石海鹤 薛锦云
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Hanoi塔问题 形式化方法 非递归 PAR方法 循环不变式
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 产品、研发、测试
• 页码范围: 96-99
• 页数: 4页
• 分类号: TP311.1
• 字数: 4807字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.11.033

摘要

使用形式化方法PAR及循环不变式开发新策略,开发了Hanoi塔问题非递归算法,并对其进行了形式化的正确性证明.直接面向非递归算法,在得到求解Hanoi塔问题的循环不变式的同时,直接得到易读、高效且可靠的非递归算法.对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨.

作者信息

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