吉林大学学报（理学版）2003，Vol.41Issue(4)：481-486,6.
基于控制流的多线程程序的静态切片算法
Control-Flow-Based Static Slicing Algorithm of Threaded Programs
摘要
关键词
多线程程序/程序依赖图/程序切片/切片算法分类
信息技术与安全科学引用本文复制引用
张晶,金成植..基于控制流的多线程程序的静态切片算法[J].吉林大学学报（理学版）,2003,41(4):481-486,6.基金项目
国家自然科学基金(批准号: 60073041). （批准号: 60073041）
