摘要：一种用于并行实现高级转换系统规范的正确性证明的新方法
作者：Frank S. de Boer and Einar Broch Johnsen and Violet Ka I Pun and Silvia Lizeth Tapia Tarifa
论文ID：2302.04661
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-02-10
PDF 下载： 英文版 中文版pdf翻译中