A Proof Recipe for Linearizability in Relaxed Memory Separation Logic

Sunho Park,Jaewoo Kim,Ike Mulder,Jaehwang Jung, Janggun Lee,Robbert Krebbers,Jeehoon Kang

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL（2024）

引用 0|浏览5

暂无评分

关键词

linearizability,relaxed memory,separation logic,automation

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要