Coqlex：生成形式验证的词法分析器
摘要：Coqlex: 一个验证词法分析器生成器的代码生成器
作者：Wendlasida Ouedraogo (1), Gabriel Scherer (2), Lutz Strassburger (2) ((1) Siemens Mobility, France / Inria, France, (2) Inria, France / ''Ecole Polytechnique, France)
论文ID：2306.12411
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-06-22