基于差分方程计算循环复杂度符号化上界

• 作者: 李梦君 李舟军 邢建英
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 差分方程 最优化问题 程序停机 复杂度上界 闭合形式解
• 年，卷（期）: 2011,（9）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 1973-1984
• 分类号: TP301
• 字数: 9174字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2011.03898

摘要

计算程序中循环的程序复杂度符号化上界可以验证程序的停机性.基于差分方程和最优化问题求解技术,给出了一种计算P*-solvable循环程序复杂度符号化上界的有效方法.分别针对含有赋值语句的循环和带条件分支的循环,提出了其程序复杂度符号化上界计算方法.与其他工作相比,该方法能够计算得到更精确的循环复杂度符号化上界,实验结果证明了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李舟军	北京航空航天大学计算机学院	136	2221	23.0	43.0
2	李梦君	国防科学技术大学计算机学院	16	294	7.0	16.0
3	邢建英	国防科学技术大学计算机学院	3	14	2.0	3.0