艾格:可审核、可执行、灵活的法律规定

摘要:Eiger:一种具有嵌入式编程语言的精确规则制定方法

作者:Alexander Bernauer, Richard A. Eisenberg

论文ID:2209.04939

分类:Programming Languages

分类简称:cs.PL

提交时间:2022-09-13

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