面向对象并发程序相关论文
针对面向对象并发程序给出一种基于依赖标识的动态切片方法.使用面向对象并发程序依赖图(COOPDG)作为中间图表示,然后对不同类型依赖......
程序切片是一种重要的程序分析技术,它通过提取程序中直接或间接影响某个特定程序点变量值的语句达到分解程序的目的。随着对程序......