机译:使用符合保证方法验证并发垃圾收集器
Univ Rennes IRISA CNRS INRIA Rennes France;
Univ Rennes IRISA CNRS INRIA Rennes France;
Univ Rennes IRISA CNRS INRIA Rennes France;
Univ Paris Diderot IRIF Paris France;
Univ Rennes IRISA CNRS INRIA Rennes France;
Purdue Univ W Lafayette IN 47907 USA;
Northeastern Univ Boston MA 02115 USA|Czech Tech Univ Prague Czech Republic;
Verified garbage collection; Concurrency; Coq; Rely-guarantee;
机译:使用Re-Guarantee方法验证并行垃圾收集器
机译:CSIM〜2:使用依赖保证的并发系统的组成自验证
机译:基于并发垃圾收集器示例调查依赖关系/保证关系的限制
机译:使用依赖保证方法验证并发垃圾收集器
机译:Java的多线程并发世代垃圾收集器。
机译:基于无锁的多核并发垃圾收集器的研究
机译:使用Re-Guarantee方法验证并行垃圾收集器
机译:科罗拉多州的死亡率评估和控制评估(FaCE)报告:垃圾收集器从移动垃圾车后面掉落后死亡