- 作者: 吳培基; 王豐堅; 楊基載
- 作者服務機構: 交通大學資訊工程研究所
- 中文摘要: 今日編譯器前端(front-end)的建構益趨複雜。產生式技術(generative technique)雖已成功應用於許多編譯工作,然而在語意分析上目前編譯器實務上仍殊少採用諸如屬性文法(attribute grammars )之技術。本文就屬性文法提出包括模組化架構(modular construct)、遠端屬性擷取(remote access)、群體式計算(collective computing)、以及語法樹節點之物件導向規格等擴充。此一規格語言著重屬性文法上特別之課題並嘗試聯結屬性文法與物件導向方法。本文中並提出許多規格語言之使用實例。此一規格語言可望實務上用於編譯器的建構。
- 英文摘要: Compiler front-ends today are getting bigger and more complex than ever. Generative (specification)techniques have been applied well in some compiling tasks;however, techniques such as attribute grammars(AGs) are rarely adopted for semantic analysis by production quality compilers. This paper presents aspecification language that extends AG specification with modular constructs, remote access,collectivecomputing, and object-orientation in parse tree nodes. The language tries to address AG-specific patternsand bridge the gap between AGs and current object-oriented modeling. The paper also illustrates severalexamples using the specification language. The language is meant to be used as a specification tool forengineering use in compiler construction.
- 中文關鍵字: attribute grammars; compiler generatiors semantics specification; object-oriented specification language
- 英文關鍵字: --