循环不变式开发新策略及其应用
New Strategies for Developing Loop Invariants and its Application作者机构：江西师范大学计算机信息工程学院 中国科学院软件研究所计算机科学重点实验室北京100080 深圳职业技术学院
出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)
年 卷 期：2006年第42卷第4期
页 面：105-107,161页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：循环不变式体现了循环程序的本质特征,在算法程序的开发、证明和推导中具有十分重要的作用。而传统的循环不变式开发策略并没有很好地解决循环不变式开发难的问题。文章在阐述现有策略局限性的基础上,详细阐述了刻画循环不变式本质特征的新定义及基于此定义的开发循环不变式的新策略,并通过三个典型的实例,对开发新策略的具体应用作了比较深入的探索。
维普期刊数据库
同方期刊数据库