一個可重覆利用的遞增式 OOAG 核心

Abstract

用傳統的方式建立編譯器是一個困難的工作，尤其是在指定其語意格式 時。屬性文法(AGs) 藉著讓文法符號伴隨屬性以提供指定語意關係的功能 。而屬性計算時的複雜工作則可以由AG計算器來自動完成。OOAG 是一種 AG的變形，它去除傳統AG在AG 文法指定格式上的一些限制。而OOAG核心 則是設計用來擔負OOAG架構中針對AG指定格式的計算。這篇論文中提出了 OOAG核心的結構設計以及其中的一些演算法，這些設計都考慮到其一般性 ，而使其能適合於其它的AG計算系統中。除此之外，遞增式的演算法能加 快一些經常修改之程式的編譯。我們的動態遞增式AG計算法在這篇論文中 證明在空間的使用上比RTD的方法來的好。 Constructing a compiler with traditional methods is a difficult workespecially in specifying semantic specifications. Attribute grammars (AGs) provide facilities to specify semantic relations by allowing grammar symbols decorated with attributes. The complex computation for attributes can be automated by the AG evaluator. OOAG is an AG paradigm that lifts some restrictions of AG specification. The OOAG Kernel is designed to perform the computation defined in AG specifications with OOAG structures. The thesis proposes some structures and algorithms for OOAG Kernel, which is designed with generality in mind to suit for other AG evaluation systems. Besides, incremental requirement may speedup the re-compilation of frequent modified program. Our dynamic incremental AGevaluations is shown to be better than RTD's in terms of the space complexity.