GSOS语言的声明性验证器

摘要:使用Lang-n-Change编写GSOS规则格式验证器的研究

作者:Matteo Cimini (University of Massachusetts Lowell)

论文ID:2304.06397

分类:Programming Languages

分类简称:cs.PL

提交时间:2023-04-14

PDF 下载: 英文版 中文版pdf翻译中