Institutional Repository
| 循环不变式开发新策略及其应用 | |
| 石海鹤; 肖正兴; 薛锦云 | |
| 2006 | |
| Source | 计算机工程与应用
 |
| Issue | 4Pages:105-107,161 |
| English Abstract | 循环不变式体现了循环程序的本质特征,在算法程序的开发、证明和推导中具有十分重要的作用。而传统的循环不变式开发策略并没有很好地解决循环不变式开发难的问题。文章在阐述现有策略局限性的基础上,详细阐述了刻画循环不变式本质特征的新定义及基于此定义的开发循环不变式的新策略,并通过三个典型的实例,对开发新策略的具体应用作了比较深入的探索。 |
| Keyword | 循环不变式 算法程序 形式化方法 Par方法 |
| Department | 江西师范大学计算机信息工程学院,中国科学院软件研究所计算机科学重点实验室 北京100080,深圳职业技术学院,江西师范大学计算机信息工程学院,中国科学院软件研究所计算机科学重点实验室,北京100080,,南昌330027,深圳518500,南昌330027 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11838 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 石海鹤,肖正兴,薛锦云. 循环不变式开发新策略及其应用[J]. 计算机工程与应用,2006(4):105-107,161. |
| APA | 石海鹤,肖正兴,&薛锦云.(2006).循环不变式开发新策略及其应用.计算机工程与应用(4),105-107,161. |
| MLA | 石海鹤,et al."循环不变式开发新策略及其应用".计算机工程与应用 .4(2006):105-107,161. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 循环不变式开发新策略及其应用.pdf（197KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment