Concurrent Permission Machine for Modular Proofs of Optimizing Compilers with Shared Memory Concurrency

著录项

• 作者

  Cuellar, Santiago.;

  展开▼
• 作者单位

  Princeton University.;

  展开▼
• 授予单位 Princeton University.;
• 学科
• 学位 Ph.D.
• 年度 2020
• 页码 153 p.
• 总页数 153
• 原文格式 PDF
• 正文语种 eng
• 中图分类 AAI27742960;
• 关键词

  Compilers; Concurrency; Formal methods; Machine-checked proofs; Programming languages; Software safety;

  机译：编译器;并发;正式方法;机器检查证明;编程语言;软件安全;