执行证据相关硕士博士期刊学术论文 - 搜论网

执行证据相关论文

一种改进的并发程序静态切片算法

分析了Krinke切片算法对循环体内嵌套有线程的程序结构会产生切片不精确的现象，认为其原因是该算法对线程问数据依赖的定义过于粗糙......

期刊

静态程序切片并发程序切片算法程序依赖图执行证据 Static slicing of programs Concurrent programs Sli

看过本文同时还关注