返回
Separation logic: a logic for shared mutable data structures
.png){kind=icon}
OA
AI
DOI：10.1109/lics.2002.1029817.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
暂无期刊信息
机构
暂无机构信息
引用论文
暂无论文信息
分享收藏分享收藏分享收藏
未登录.png){kind=icon}
分享收藏未登录分享收藏对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。