一种改进的用于并发程序静态切片的程序依赖图

• An Improved Program Dependence Graph for Static Slicing Concurrent Programs