標題: | 一套屬性文法的平行計算法 A Parallel Evaluation for Attribute Grammars |
作者: | 黃志中 Chih-Chung Huang 楊武 Wuu Yang 資訊科學與工程研究所 |
關鍵字: | 屬性文法;平行計算;程式語言;語意;計算順序;Attribute Grammars;Parallel Evaluation;Programming Languages;Semantics;Evaluation Order |
公開日期: | 1998 |
摘要: | 屬性文法是用來表示程式語言語意的一個標準方法。在 Kastens 所提出的有序屬性文法中,藉由增加介於符號屬性間的相關性,使得屬性文法不具有任何的循環迴圈,其所需的計算時間為多項式時間,而計算出一靜態的循序計算順序。在 Klein 所提出的平行有序屬性文法中,則是找出一靜態與動態混合的平行計算順序。
在這篇論文□,我們提出一套屬性文法的平行計算演算法,這套演算法較 Klein 所提出的方式簡易,稱做平行計算有序屬性文法 (PEOAG),可找出一靜態的平行計算順序。 Attribute grammars are a formalism for specifying semantics of programmaing languages. Kastens proposes the ordered attribute grammars, for which there is a procedure to find a static sequential evaluation order. Klein proposes the parallel ordered attribute grammars, which is a procedure of finding parallel evaluation order with a hybrid method. In the thesis, we propose a parallel evaluation algorithm which is simpler than Klein's method, called the parallelly evaluatable ordered attribute grammars (PEOAG), is a procedure to find a static parallel evaluation order. |
URI: | http://140.113.39.130/cdrfb3/record/nctu/#NT870394022 http://hdl.handle.net/11536/64161 |
顯示於類別: | 畢業論文 |