設計製作一套加強型屬性文法系統以個體導向為基礎

Abstract

屬性文法已經被用來當作描述一般語言語意的工具, 而且被證實可以根據 屬性文法所規範的內容, 自動產生編譯器. 然而這樣一個好的方法,如果 沒有相關的實際製作出相關的系統, 提出這個方法就沒有太大意義.在經 過了數年的發展, 屬性文法產生了許多不同的外觀, 雖然每一種都有其特 別的寫法和性質; 卻沒有特定某一種屬性文法, 可以包含其他所有的屬性 文法. 因此, 我們希望能重新設計, 製作一大套加強型屬性文法系統, 除 了能包含大部份屬性文法都有的基本特性之外, 並溶入一些如模組化, 個 體導向等新觀念, 讓這些有用的技巧能加入系統, 產生編譯器所需要的一 些組成元件. Attribute grammars are proposed to describe language semantics and have been proved to be efficient in automatic compiler generation from its specification. However, a good formalism without a corresponding implementation is useless. After many years of development, attribute grammars have many kinds of formalism. Each has its own special notations and useful characteristics. But, no one can contain all the others. Therefore, we want to redesign and implement an attribute- grammar system which consists of general features in most attribute grammars and also includes useful mechanisms, such as modularization, object orientation,etc. Finally, we will use our system to specify a language and generate some components for compiler construction.