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

• Improvement of Static Slicing Algorithm and Internal Representation of Concurrent Program