Journal of the ACM （JOLACM） - Issue 276 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 276 |
| 发布时间： |
| 卷期年份： 2013 |
| 卷期官网： |
本期论文列表
The VPN Conjecture Is True.
Model Checking Higher-Order Programs.
Local Reasoning for Global Invariants, Part I: Region Logic.
Invited Article Foreword.
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency.
Local Reasoning for Global Invariants, Part II: Dynamic Boundaries.
A Master Theorem for Discrete Divide and Conquer Recurrences.