一种基于程序可达图的并发程序依赖性分析方法

戚晓芳;徐宝文;周晓宇;

An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs

QI Xiao-fang;XU Bao-wen;ZHOU Xiao-yu;

电子学报 . 2007, (2): 287 -291 .