非经典切片优化的同步运行时检验方法

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

高新岩;吴尽昭;乔瑞;闫炜

Non-classical Slicing Optimization Runtime Verification Approach for Synchronization

GAO Xin-yan; WU Jin-zhao; QIAO Rui; YAN Wei

计算机工程 . 2009, (4): 4 -6 . DOI: 10.3969/j.issn.1000-3428.2009.04.002