Multi-plan attribute grammars

Wuu Yang*

*Corresponding author for this work

研究成果: Paper同行評審

摘要

We identify a new class of non-circular attribute grammars, called the multi-plan attribute grammars, for which static evaluation plans can be computed. The class of multi-plan attribute grammars is larger than all currently known classes of non-circular attribute grammars with static evaluation plans. The decision procedure and the procedure for computing evaluation plans take essentially polynomial time under a new, more practical criterion (but the procedures still take exponential time based on the traditional criterion). The multi-plan attribute grammars lead to a new way to classify well-defined attribute grammars into a hierarchy based on the look-ahead behavior of the evaluators. Our work confirms a result of Riis and Skyum, which says that all well-defined attribute grammars can be evaluated with static evaluators.

原文English
頁面62-71
頁數10
DOIs
出版狀態Published - 5 十二月 1997
事件Proceedings of the 1997 Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC'97 and ICSC'97 - Hong Kong, Hong Kong
持續時間: 2 十二月 19975 十二月 1997

Conference

ConferenceProceedings of the 1997 Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC'97 and ICSC'97
城市Hong Kong, Hong Kong
期間2/12/975/12/97

指紋 深入研究「Multi-plan attribute grammars」主題。共同形成了獨特的指紋。

引用此