%0 Journal Article %T 多线程程序数据竞争的静态检测 %A 张 健 %A 陈意云 %A 吴 萍 %J - %D 2006 %X 多线程并发程序的广泛使用带来了更多的数据竞争错误.传统的数据.. %K [并发程序 %K 程序分析 %K 数据竞争 %K 别名分析 %K concurrent programs %K program analysis %K data race %K alias analysis] %U http://crad.ict.ac.cn/CN/Y2006/V43/I2/329