这篇论文介绍了如何在多项式时间内，通过将一大类程序间数据流分析问题转化为一类特殊的图可达性问题来进行解决，从而实现精确求解的方法。
2021-08-13 11:44:10
1.7MB
1