| 题名: | 循环不变式开发新策略及其应用 |
| 作者: | 石海鹤
; 肖正兴
; 薛锦云
|
| 关键词: | 循环不变式
; 算法程序
; 形式化方法
; PAR方法
|
| 刊名: | 计算机工程与应用
|
| 发表日期: | 2006
|
| 期: | 4, 页:105-107,161 | | 部门归属: | 江西师范大学计算机信息工程学院,中国科学院软件研究所计算机科学重点实验室 北京100080,深圳职业技术学院,江西师范大学计算机信息工程学院,中国科学院软件研究所计算机科学重点实验室,北京100080,,南昌330027,深圳518500,南昌330027
|
| 摘要: | 循环不变式体现了循环程序的本质特征,在算法程序的开发、证明和推导中具有十分重要的作用。而传统的循环不变式开发策略并没有很好地解决循环不变式开发难的问题。文章在阐述现有策略局限性的基础上,详细阐述了刻画循环不变式本质特征的新定义及基于此定义的开发循环不变式的新策略,并通过三个典型的实例,对开发新策略的具体应用作了比较深入的探索。 |
| 内容类型: | 期刊论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/11838
|
| Appears in Collections: | 计算机科学国家重点实验室 _期刊论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 循环不变式开发新策略及其应用.pdf（197KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
石海鹤,肖正兴,薛锦云. 循环不变式开发新策略及其应用[J]. 计算机工程与应用,2006-01-01(4):105-107,161.
|
|
|
