论文部分内容阅读
描述了一种产生循环不变式主要部分的方法。该方法的基本思想是在每一次循环条件变化时记录下程序变量的值,生成相应的跟踪表,从跟踪表中获得程序变量之间的函数关系构成循环不变式的主要部分。程序变量之间的函数关系则利用遗传规划对跟踪表中数据执行符号回归得到。
基于遗传规划寻找循环不变式的方法
【摘 要】
：
描述了一种产生循环不变式主要部分的方法。该方法的基本思想是在每一次循环条件变化时记录下程序变量的值,生成相应的跟踪表,从跟踪表中获得程序变量之间的函数关系构成循环
【机 构】
：
怀化学院计算机系
【出 处】
：
计算机时代
【发表日期】
：
2009年2期
【基金项目】
：
怀化学院科研基金项目(HHUY2008-18)
其他文献
五年来人社工作的成果坚持以供给侧结构性改革为主线,着力培育壮大新动能,经济结构加快优化升级。坚持创新引领发展,着力激发社会创造力,整体创新能力和效率显著提高。深入开
2018年是全面打好脱贫攻坚战的关键一年，也是就业扶贫巩固成效、攻坚克难之年。近日．为切实做好吉林省深度贫困县（通榆县和汪清县）就业扶贫工作，帮助建档立卡农村贫困劳动力通过就
什么是分层教学？分层教学是在教学的各个环节，根据不同学生特点和需要，设计不同的目标、要求和教学手段，照顾到学生的个体差异，强调教师的“教”一定要适应学生的“学”。分层次教
传统关联规则挖掘得到的原始规则集包含大量的、杂乱的规则，其中很多是冗余的，这样的规则集难以被用户理解和应用。针对这一问题，提出了一种基于确定性方法的关联规则挖掘新算法
教师的话语对学生起着巨大的教育影响作用,即使是日常教育工作中平凡的话语,也可能成为影响学生人生前程的重要语句。所以,教师在运用语言时,要从真心关爱学生的角度出发,平
分析了对工伤康复远程访问的需求,对VPN的工作原理及关键技术作了简明介绍,并结合今后发展需要,提出了见解。
民生连着民心,民心关系国运。党的十八大以来,以习近平同志为核心的党中央始终坚持以人民为中心的发展思想,民生保障网进一步织密扎牢。2017年,面对民生这道时代考题,我国交
采用分层的应用程序框架以降低系统的复杂度。在分层的基础上，采取spring．NET提供的注入和反转机制来实。现应用程序的动态构建，并且利用一种外部的配置文件来建立应用程序的组