基于Java内存模型的并发程序模型检测

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

基于Java内存模型的并发程序模型检测

周志远, 张大方, 缪力

Model Checking the Concurrent Programs Based on the Java Memory Model

ZHOU Zhi-Yuan, ZHANG Da-Fang, JIU Li

J4 . 2010, (3): 111 -114 . DOI: 10.3969/j.issn.1007130X.2010.