Higher order attribute grammars
Higher order attribute grammars
复制标题
高阶属性语法
DOI：
--
复制
发表时间：
1989
期刊：
影响因子：
--
通讯作者：
M. Kuiper
中科院分区：
文献类型：
--
作者：
H. Vogt;S. Swierstra;M. Kuiper
定义了一种新的属性文法--高阶属性文法。在高阶属性文法中，结构树可以作为属性计算的结果而扩展。结构树可以存储在属性中。使用术语高阶是因为与高阶函数的类比，其中函数可以是另一个函数的结果或参数。一个相对简单的方法，使用OAGs，被描述为获得一个评价顺序的定义属性出现，其中包括所有可能的直接和间接的属性依赖。在OAGs中，访问序列的计算，从中可以得到一个有效的算法属性评估。
A new kind of attribute grammars, called higher order attribute grammars, is defined. In higher order attribute grammars the structure tree can be expanded as a result of attribute computation. A structure tree may be stored in an attribute. The term higher order is used because of the analogy with higher order functions, where a function can be the result or parameter of another function. A relatively simple method, using OAGs, is described to derive an evaluation order on the defining attribute occurrences which comprises all possible direct and indirect attribute dependencies. As in OAGs, visit-sequences are computed from which an efficient algorithm for attribute evaluation can be derived.