机译:安全关键型Java内存模型正式化
Department of Computer Science, University of York, Deramore Lane, York YO10 5GH, UK;
Department of Computer Science, University of York, Deramore Lane, York YO10 5GH, UK;
Department of Computer Science, University of York, Deramore Lane, York YO10 5GH, UK;
safety-critical java; memory safety; semantics; unifying theories of programming; integration; refinement;
机译:安全关键型Java内存模型正式化
机译:安全关键的实时Java仿真:范围内存消耗动态分析的案例研究
机译:安全关键系统的严格开发过程:从ASM模型到Java代码
机译:Java和Java内存模型-统一的,经过机器检查的形式化
机译:Java内存模型感知模型检查
机译:确保计算心脏模型的安全性至关重要的临床应用的可靠性
机译:Java和Java内存模型 - 统一,机器检查的形式化
机译:ERT容错计算模型及其在211协调原子行为形式化中的应用