计算机工程与科学2014，Vol.36Issue(2)：233-237,5.DOI:10.3969/j.issn.1007-130X.2014.02.008
一种基于类的Java多线程程序数据竞争静态检测算法
A class-based data race static detection algorithm for Java multithread programs
摘要
关键词
多线程程序/数据竞争/程序切片/静态分析/竞争检测Key words
multithread program/data race/program slice/static analysis/race detection分类
信息技术与安全科学引用本文复制引用
宋东海,贲可荣,张志祥..一种基于类的Java多线程程序数据竞争静态检测算法[J].计算机工程与科学,2014,36(2):233-237,5.基金项目
国家自然科学基金资助项目(61272108) （61272108）
