標題: A classification of noncircular attribute grammars based on the look-ahead behavior
作者: Yang, W
資訊工程學系
Department of Computer Science
關鍵字: attribute grammars;noncircular attribute grammars;ordered attribute grammars;pure multivisit attribute grammars;simple multivisit attribute grammars;well-defined attribute grammars;grammar classification
公開日期: 1-Mar-2002
摘要: 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.
URI: http://dx.doi.org/10.1109/32.991318
http://hdl.handle.net/11536/28996
ISSN: 0098-5589
DOI: 10.1109/32.991318
期刊: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Volume: 28
Issue: 3
起始頁: 210
結束頁: 227
Appears in Collections:Articles


Files in This Item:

  1. 000174257900001.pdf