计算机工程2010，Vol.36Issue(24)：71-73,3.
基于符号运算的归纳变量识别与约化
Induction Variable Recognition and Reduction Based on Symbolic Operation
摘要
关键词
静态检测/程序分析/代码优化/符号运算分类
信息技术与安全科学引用本文复制引用
周雷,陈克非..基于符号运算的归纳变量识别与约化[J].计算机工程,2010,36(24):71-73,3.基金项目
国家"863"计划基金资助项目(2009AA01Z418) （2009AA01Z418）
