Reference attribute grammar controlled graph rewriting: motivation and overview
Reference attribute grammar controlled graph rewriting: motivation and overview
复制标题
参考属性语法控制图重写：动机和概述
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Christoff Bürger
中科院分区：
文献类型：
--
作者：
Christoff Bürger
引用属性文法是一种著名的用于实现语义分析的语言工程技术。引用属性提供了声明性的方法来将抽象语法树扩展到图形并分析这样的图形;它们非常适合于对抽象语法图进行推导和推理。然而，在抽象语法图变化的情况下，有效的属性重新评估以及基于属性的分析与进一步基于重写的转换的系统集成是开放的研究问题。为了解决这些问题，一种新的增量语法导向编译器-编译器技术，无缝地结合引用属性文法和图重写。所提出的技术不仅允许增量引用属性评估，而且还重用分析，以减轻规范，并指导，重写为基础的转换。它可以实现高效、相互依赖、记忆化的分析和转换。本文提出并解释了这种引用属性文法控制图重写的概念。为了评估，参考实现用于指定fUML活动图和Petri网解释器。
Reference attribute grammars are a well-known language engineering technique for the implementation of semantic analyses. Reference attributes provide declarative means to extend abstract syntax trees to graphs and analyse such graphs; they are well-suited to deduce and reason about abstract syntax graphs. Efficient attribute re-evaluation in case of abstract syntax graph changes and a systematic integration of attribute-based analyses with further rewrite-based transformations are open research problems however. To solve these problems, a novel incremental syntax-directed compiler-compiler technique is presented, that seamlessly combines reference attribute grammars and graph rewriting. The presented technique not only permits incremental reference attribute evaluation, but also the reuse of analyses to ease the specification of, and guide, rewrite-based transformations. It enables efficient, mutually dependent, memoized analyses and transformations. The paper motivates and explains the concepts of such a reference attribute grammar controlled graph rewriting. For evaluation, a reference implementation is used to specify fUML Activity Diagram and Petri net interpreters.