循环不变式开发新策略及其应用

• 作者: 石海鹤 肖正兴 薛锦云
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 循环不变式 算法程序 形式化方法 PAR方法
• 年，卷（期）: 2006,（4）
• 所属期刊栏目: 产品、研发、测试
• 页码范围: 105-107,161
• 页数: 4页
• 分类号: TP311
• 字数: 4254字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.04.033

摘要

循环不变式体现了循环程序的本质特征,在算法程序的开发、证明和推导中具有十分重要的作用.而传统的循环不变式开发策略并没有很好地解决循环不变式开发难的问题.文章在阐述现有策略局限性的基础上,详细阐述了刻画循环不变式本质特征的新定义及基于此定义的开发循环不变式的新策略,并通过三个典型的实例,对开发新策略的具体应用作了比较深入的探索.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	石海鹤	江西师范大学计算机信息工程学院	18	111	6.0	10.0
3	薛锦云	江西师范大学计算机信息工程学院	77	745	15.0	23.0
7	肖正兴		15	44	3.0	6.0