摘要：上下文感知分离逻辑 (CASL)：提供了丰富的虚拟状态抽象下的局部推理的新机会
作者：Roland Meyer, Thomas Wies, Sebastian Wolff
论文ID：2307.15549
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-07-31
PDF 下载： 英文版 中文版pdf翻译中