过程间并发程序分析不可判定的一个新证明方法

• 作者: 张大方 缪力
• 来源期刊: 计算技术与自动化
• 关键词: 过程间并发程序分析 上下文敏感 同步敏感 不可判定问题
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 计算机软件及应用
• 页码范围: 53-56
• 页数: 4页
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6199.2007.02.015

摘要

过程间并发程序分析问题是一个不可判定问题,理解这个不可判定问题的来源是发展一个有效的分析算法的基础.现有的证明[1]通过构造三个并发任务的PCP问题实例,证明过程间并发程序分析是一个不可判定问题.利用反射的思想,仅仅用两个并发任务构造该问题的一个PCP问题实例,证明在两个并发任务的情况下,过程间并发程序分析是一个不可判定问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张大方	湖南大学软件学院	295	2498	22.0	33.0
2	缪力	湖南大学软件学院	35	167	8.0	10.0