拡張1パス型属性文法によるコンパイラ生成系の実現

概要

論文の詳細を見る
文脈自由文法に意味規則を付加した属性文法はコンパイラの仕様記述に向いており,コンパイラ生成系への応用が広く研究されている.また,属性文法の記述性や生成されるコンパイラの性能を改善する研究も続けられている.本論文は,分かりやすい記述法から,効率の良いコンパイラを生成する1つの方式として,構文規則を正規右辺文法とする属性文法の記述から,1パスコンパイラを生成する方式を提案している.正規右辺文法の場合,右辺に不定回出現しうる構文要素に対応する意味規則を独立に書くことが難しいという問題がある.そこで,構文規則内の文法記号に直接付随した形で意味規則を記述する方法を提案する.1パス型の属性文法(L属性文法)では,属性値は,プログラムの上から下,左から右,の順番で決まっていかなければならないが,意味規則を素直に表現しようとすると,後で決まる属性値を先に使うような形になることが多い.本論文では,このようなL属性の範囲を越えるものも素直に記述できるようにして,それに対しては,バックパッチする処理系を自動的に生成する方式を提案する.従来の1パスコンパイラを生成する属性文法処理系では,実際には,if文などの分岐先の番地を後で解決するために,アセンブラのパスを設けているものが多いが,本方式によれば,そのパスも不要になる.
一般社団法人情報処理学会の論文
1995-04-15

拡張1パス型属性文法によるコンパイラ生成系の実現

スポンサーリンク

概要

著者

関連論文

スポンサーリンク