An Improved Program Dependence Graph for Static Slicing Concurrent Programs

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