利用基因表达式编程自动生成循环不变式
马竹根
王灿明
1.怀化学院计算机系,怀化,4180082.怀化学院计算机系,怀化,418008
摘要：描述了利用基因表达式编程自动生成循环不变式的方法.该方法的基本思想是在每一次循环条件变化时记录下程序变量的值,产生相应的跟踪表,然后从跟踪表中获得程序变量之间的函数依赖关系,这种变量之间的依赖关系构成了循环不变式的主要部分.程序变量之间的函数依赖关系的获得是利用基因表达式编程对跟踪表中数据执行符号回归得到.利用VC++实现了基因表达式编程的函数挖掘,并通过一个实例说明了该方法的有效性.
关键词：循环不变式Hoare逻辑符号回归基因表达式编程
分类号：TP301.6(计算技术、计算机技术)
资助基金：怀化学院资助科研项目(HHUY2008-18)
论文发表日期：2009-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 7-10 )
英文信息