并发程序切片原型系统的设计与实现

并发程序切片原型系统的设计与实现

徐晓晶, 戚晓芳

A Prototype Tool for Slicing Concurrent Programs

XU Xiaojing, QI Xiaofang

计算机科学与探索 . 2012, (3): 257 -266 . DOI: 10.3778/j.issn.1673-9418.2012.03.006