循环不变式开发新策略及其应用
文献类型：期刊论文
| 作者 | 石海鹤 ; 肖正兴 ; 薛锦云 |
| 刊名 | 计算机工程与应用
 |
| 出版日期 | 2006 |
| 期号 | 4页码:105-107,161 |
| 关键词 | 循环不变式 算法程序 形式化方法 PAR方法 |
| 中文摘要 | 循环不变式体现了循环程序的本质特征,在算法程序的开发、证明和推导中具有十分重要的作用。而传统的循环不变式开发策略并没有很好地解决循环不变式开发难的问题。文章在阐述现有策略局限性的基础上,详细阐述了刻画循环不变式本质特征的新定义及基于此定义的开发循环不变式的新策略,并通过三个典型的实例,对开发新策略的具体应用作了比较深入的探索。 |
| 公开日期 | 2011-07-13 |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。