过程间并发程序分析相关硕士博士期刊学术论文 - 信丰网

过程间并发程序分析相关论文

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

过程间并发程序分析问题是一个不可判定问题，理解这个不可判定问题的来源是发展一个有效的分析算法的基础。现有的证明[1]通过构造......

期刊

过程间并发程序分析上下文敏感同步敏感不可判定问题 concurrent interprocedural program analysis context

看过本文同时还关注