一个基于模型的解析器生成器:从抽象语法树到抽象语法图

摘要:基于模型的解析器生成器将语言规范与语言处理分离。基于模型的方法避免了传统解析器生成器对语言设计者的限制。传统工具要求设计的语言语法符合特定的解析器生成器支持的语法类型(LL和LR解析器生成器最常见)。基于模型的解析器生成器(如ModelCC)不需要语法规范,因为该语法可以从语言模型自动导出,并且如果需要,可以调整以符合给定类型解析器的要求,所有这些操作都不会影响语言的概念设计及其关联应用程序。此外,诸如ModelCC之类的基于模型的工具能够自动解决语言元素之间的引用,从而生成抽象语法图而不是抽象语法树作为解析过程的结果。这样的图不限于有向无环图,并且可以包含循环,因为ModelCC支持指示的、预示的和递归的引用。

作者:Luis Quesada, Fernando Berzal, Juan-Carlos Cubero

论文ID:1202.6593

分类:Programming Languages

分类简称:cs.PL

提交时间:2012-03-01

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