SSCC : 基於有序屬性文法的產生器及屬性計算系統

Abstract

屬性文法是用來表示程式語言語意的一個標準方法，而且在自動產生 程式編譯器的應用上已經被證實是有效率的。在研究程式語言的領域中， 屬性文法是一個很熱門的研究方向。目前已經有許多根據各種不同的屬性 文法定義，以及針對特定目的而設計並且實作出來的工具程式。在本篇論 文中，我們提出另一套新的屬性文法系統，叫做 SSCC (Sufficiently Smart Compiler Compiler)。這套系統自動產生一個基於有序屬性文法的 屬性計算器。在 SSCC 系統中，我們提供兩種新的功能 : 使用者自定函 式及抽象資料型態。有了這兩個特殊的功能，將可以提昇屬性文法的表達 能力及適用性。 Attribute grammars (AGs) are proposed for specifying the semantics of programming languages and have been proven to be efficient in automatic compiler construction. Attribute grammars are an intensive research area of programming languages. Many tools have been designed and implemented based on different classes of attribute grammars. In this thesis, we proposed a new attribute-grammar system, named SSCC (Sufficiently Smart Compiler Compiler). This system is designed for automatic construction of attribute evaluation systems based on ordered attribute grammars. Two features of SSCC, namely user-defined functions and abstract types, improve the expressive power of attribute gramamrs.