Verified compilation of Concurrent Managed Languages.

著录项

• 作者

  Jagannathan, S.; Vitek, J.;

  展开▼
• 作者单位

  展开▼
• 年度 2017
• 页码 1-36
• 总页数 36
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词

  Computer program verification; Methodology; Programming languages; Reasoning; Program verification; Compiler design; Concurrency; Memory models; Theorem proving; Garbage collection; Java memory model;

  机译：计算机程序验证;方法;程序设计语言;推理;程序验证;编译器设计;并发;内存模型;定理证明;垃圾收集; Java内存模型;