Improvement of Static Slicing Algorithm and Internal Representation of Concurrent Program

• 并发程序内部表示及静态切片算法的改进