|
|
下载PDF在浏览器中打开PDF解析条件:LL的符号编码(1)解析19页•发布日期:2018年10月23日摘要在这项工作中,我们提出了解析条件的概念,这是一个逻辑条件,当且仅当给定字符串w可以使用语法G成功解析时才可满足。此外,我们还提出了一个算法,用于为LL(1)构建此类解析条件的SMT编码语法,并通过在其上构建两个应用程序来演示其实用性:自动修复Tiger程序中的语法错误,自动合成解析器,从示例中自动合成LL(1)解析器。我们将我们的想法实现到一个工具Cyclops中,该工具能够成功修复80%的基准测试(675个有缺陷的Tiger程序),每次修复平均花费30秒,并从示例中合成有趣语言的解析器。就像验证条件(用逻辑编码程序)在程序分析中的广泛应用一样,我们相信解析条件可以作为语法分析中有趣应用的基础。键盘以下为:约束求解,LL(1)解析,SMT编码 在以下为:吉勒·巴特,杰夫·萨特克利夫和玛格斯·维恩斯(编辑)。LPAR-22。第22届程序设计、人工智能和推理逻辑国际会议,第57卷,第637--655页 下载PDF在浏览器中打开PDF |
|
|