| 循环不变式开发新策略及其应用 |
| 石海鹤; 肖正兴; 薛锦云
|
| 2006
|
| 发表期刊 | 计算机工程与应用
 |
| 期号 | 4页码:105-107,161 |
| 摘要 | 循环不变式体现了循环程序的本质特征,在算法程序的开发、证明和推导中具有十分重要的作用。而传统的循环不变式开发策略并没有很好地解决循环不变式开发难的问题。文章在阐述现有策略局限性的基础上,详细阐述了刻画循环不变式本质特征的新定义及基于此定义的开发循环不变式的新策略,并通过三个典型的实例,对开发新策略的具体应用作了比较深入的探索。 |
| 关键词 | 循环不变式
算法程序
形式化方法
Par方法
|
| 部门归属 | 江西师范大学计算机信息工程学院,中国科学院软件研究所计算机科学重点实验室 北京100080,深圳职业技术学院,江西师范大学计算机信息工程学院,中国科学院软件研究所计算机科学重点实验室,北京100080,,南昌330027,深圳518500,南昌330027
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/11838
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
石海鹤,肖正兴,薛锦云. 循环不变式开发新策略及其应用[J]. 计算机工程与应用,2006(4):105-107,161.
|
| APA |
石海鹤,肖正兴,&薛锦云.(2006).循环不变式开发新策略及其应用.计算机工程与应用(4),105-107,161.
|
| MLA |
石海鹤,et al."循环不变式开发新策略及其应用".计算机工程与应用 .4(2006):105-107,161.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论