摘要：一个新的流程框架：用于分离逻辑推理关于操作一般图形的程序。
作者：Roland Meyer and Thomas Wies and Sebastian Wolff
论文ID：2304.04886
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-04-12
PDF 下载： 英文版 中文版pdf翻译中