設計並實作一應用於編譯器建構之語意規格語言

Abstract

現代電腦語言的前端編譯器已日趨複雜而龐大。一般來說，在建構編譯器 時有兩種軟體再利用的方式：一種是產生式，另一種是組裝式。本論文設 計一個稱為 AG++ 的規格語言來整合這兩種再利用方式。AG++ 採用屬性 文法以及其擴充作為理論基礎，引進多種語言結構來配合模組化、遠端擷 取、搜集性計算，並且採用物件導向觀點看待樹狀結構的節點，以便能藉 此語言撰寫精簡而具模組化的編譯器規格。此外，在 AG++ 規格當中也允 許再利用元件的引進，以彌補屬性文法在理論上無法處理環狀相依與非樹 狀結構的限制。 Compiler front-ends for contemporary programming languages are getting bigger and more elaborate than ever. There are in general two approaches to software reuse within compiler construction: generative and compositional. The thesis presents a specification language called AG++ which is designed to integrate both approaches. AG++ adopts the attribute grammars (AGs) and its extension as the theoretical foundation. It introduces the constructs which satisfy modularity, remote access, collective computing, and object-oriented views on tree nodes to make concise and modular compiler specifications. Besides, it allows the employment of reusable components in a specification to compensate the theoretical limitation of AGs when handling circular dependency and non-tree structures.