0004-5411

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.