Computer programming; Algorithms; Error detection codes; Data flow analysis; Java(Programming language); Computer systems programs; Formalism;
机译:在并发程序中查找过时错误
机译:ConSeq:通过顺序错误检测并发错误
机译:ConSeq:通过顺序错误检测并发错误
机译:使用块局部原子性检测陈旧值并发错误
机译:使用静态程序分析检测OpenMP程序中的并发错误。
机译:一般实践中的错误:错误分类的开发和检测错误的方法的初步研究
机译:使用块本地原子性来检测失效并发错误