The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (2002 vol.28)
pp: 210-227
ABSTRACT
<p>We propose a family of static evaluators for subclasses of the well-defined (i.e., noncircular) attribute grammars. These evaluators augment the evaluator for the absolutely noncircular attribute grammars with look-ahead behaviors. Because this family covers exactly the set of all well-defined attribute grammars, well-defined attribute grammars may be classified into a hierarchy, called the $NC$ hierarchy, according to their evaluators in the family. The location of a noncircular attribute grammar in the $NC$ hierarchy is an intrinsic property of the grammar. The $NC$ hierarchy confirms a result of Riis and Skyum, which says that all well-defined attribute grammars allow a (static) pure multivisit evaluator by actually constructing such an evaluator. We also show that, for any finite $m$, an $NC(m)$ attribute grammar can be transformed to an equivalent $NC(0)$ grammar.</p>
INDEX TERMS
attribute grammars, noncircular attribute grammars, ordered attribute grammars, pure multivisit attribute grammars, simple multivisit attribute grammars, well-defined attribute grammars, grammar classification
CITATION
W. Yang, "A Classification of Noncircular Attribute Grammars Based on the Look-Ahead Behavior", IEEE Transactions on Software Engineering, vol.28, no. 3, pp. 210-227, March 2002, doi:10.1109/32.991318
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool