Incremental evaluation for attribute grammars with application to syntax-directed editors
Incremental evaluation for attribute grammars with application to syntax-directed editors
复制标题
属性语法的增量评估及其在语法导向编辑器中的应用
DOI：
10.1145/567532.567544
复制
发表时间：
1981
期刊：
影响因子：
--
通讯作者：
T. Teitelbaum
中科院分区：
文献类型：
--
作者：
A. Demers;T. Reps;T. Teitelbaum
语法导向编辑器是结构化程序开发的工具。这样的编辑器可以通过将编辑操作限制为对程序的上下文无关派生树的合法修改来递增地强制语法正确性。然而，并不是所有的语言特征都可以用上下文无关的形式主义来描述。要构建强制执行非上下文无关正确性的编辑器，需要更强大的规范技术。在本文中，我们将讨论属性文法作为语法导向编辑系统的规范技术的优点。我们还提出了一个有效的算法，增量评估属性的程序树派生。
A syntax-directed editor is a tool for structured program development. Such an editor can enforce syntactic correctness incrementally by restricting editing operations to legitimate modifications of the program's context-free derivation tree. However, not all language features can be described by the context-free formalism. To build editors that enforce non-context-free correctness, a more powerful specification technique is needed. In this paper we discuss the advantages of attribute grammars as a specification technique for a syntax-directed editing system. We also present an efficient algorithm for incrementally evaluating attributes as a program tree is derived.