下载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页

链接:
BibTeX条目
@输入{LPAR-22:Parse_Condition_Symbolic_Encoding,author={德鲁夫·辛加尔(Dhruv Singal)、帕拉·阿加瓦尔(Palak Agarwal)、萨凯特·朱恩胡瓦拉(Saket Jhunjwala)和苏巴吉特·罗伊(Subhajit Roy)},title={解析条件:LL(1)解析}的符号编码,booktitle={LPAR-22。第22届程序设计、人工智能和推理逻辑国际会议,editor={吉尔斯·巴特(Gilles Barthe)、杰夫·萨克利夫(Geoff Sutcliffe)和玛格斯·维恩斯(Margus Veanes)},series={计算中的EPiC系列},体积={57},页数={637--655},年份={2018年},publisher={EasyChair},bibsource={EasyChair,https://easychair.org网站},issn={2398-7340},网址={https://easychair.org/publications/paper/DtjZ},doi={10.29007/2ndp}}
下载PDF在浏览器中打开PDF