基于符号运算的归纳变量识别与约化

• 作者: 周雷 陈克非
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 静态检测 程序分析 代码优化 符号运算
• 年，卷（期）: 2010,（24）
• 页码范围: 71-73
• 分类号: TP311
• 字数: 3269字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.24.025

摘要

针对归纳变量的识别及归约问题提出一种基于符号运算的新算法.通过初始变景替换赋值语句中的右值,用以表达变量间的迭代与依赖关系,由此建立有向依赖图用于识别归纳变量.为归纳变量构建递归方程组并利用符号运算进行求解,获得独丘的仅依赖于迭代次数的数学形式.实验结果表明,该方法适用于各种复杂的归纳变量,能够解决现有算法无法处理的一些问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈克非	上海交通大学计算机科学与工程系	122	1257	21.0	29.0
2	周雷	上海交通大学计算机科学与工程系	2	8	2.0	2.0