Robust Verification of PEG Parser Interpreters.
该论文提出并形式化了一种基于图表解析（chart parsing）的PEG（Parsing Expression Grammar）解析器解释器鲁棒性验证方法。作者定义了一个状态机，该状态机在一个脚手架（scaffold）数据结构上操作，脚手
#PEG
共收录 1 条相关情报。
← 返回所有主题共收录 1 条相关情报。
← 返回所有主题该论文提出并形式化了一种基于图表解析（chart parsing）的PEG（Parsing Expression Grammar）解析器解释器鲁棒性验证方法。作者定义了一个状态机，该状态机在一个脚手架（scaffold）数据结构上操作，脚手