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