Title: | 形式化开发Hanoi塔问题非递归算法 |
Author: | 石海鹤
; 石海鹏
; 薛锦云
|
Keyword: | Hanoi塔问题
; 形式化方法
; 非递归
; PAR方法
; 循环不变式
|
Source: | 计算机工程与应用
|
Issued Date: | 2007
|
Issue: | 11, Pages:96-99 | Department: | 江西师范大学计算机信息工程学院,江西师范大学软件学院,江西师范大学计算机信息工程学院 南昌330022 中国科学院软件研究所计算机科学国家重点实验室,北京100080,南昌330022,南昌330022 中国科学院软件研究所计算机科学国家重点实验室,北京100080
|
Abstract: | 使用形式化方法PAR及循环不变式开发新策略,开发了Hanoi塔问题非递归算法,并对其进行了形式化的正确性证明。直接面向非递归算法,在得到求解Hanoi塔问题的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。 |
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/11366
|
Appears in Collections: | 计算机科学国家重点实验室 _期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
形式化开发Hanoi塔问题非递归算法.pdf(394KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
石海鹤,石海鹏,薛锦云. 形式化开发Hanoi塔问题非递归算法[J]. 计算机工程与应用,2007-01-01(11):96-99.
|
|
|