Author manuscript, published in "International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO'09) (2009)" Size Does Matter: Two Certified Abstractions to Disprove Entailment in Intuitionistic and Classical Separation
mag（2013）
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要