コンパイラにおける意味解析器の自動生成

概要

論文の詳細を見る
近年, 様々な用途に合わせて様々なプログラミング言語が出現している.このため, 自身の用途のためにプログラミング言語の処理系であるコンパイラをできるだけ容易に作成できることが望まれる.コンパイラ作成のためのツールとしてはLexやYaccが代表的である.Yaccが登場してからかなり長い年月が過ぎたが, その間には時代の要求に合わせて, たとえばベースとなる言語がJavaであるようなツールも出現してきている.これらのツールを用いたコンパイラ開発の場合, 意味解析処理は構文解析時の動作(アクション)としてC言語などのプログラム断片を記述することが一般的である.また, 記号表などはコンパイラ作成者がゼロから実装することも通常である.この際, 算術式の構文や識別子の出現といった構文においては, 型の検査や記号の登録といった作業のためのプログラム断片を記述することとなるが, 一般にはあるプログラミング言語の文法にはその中に同様の構文的な構成が複数箇所あり, 同様の意味解析処理のプログラム断片もそれに合わせて複数箇所記述しなければならない.これまで意味解析処理の内容について個別に研究は行われてきていても, それを視野に入れた生成系については論じられることがほとんどなかった.本発表では, 型についての処理, 記号表についての処理に焦点を当てた意味解析器の自動生成を含むコンパイラフロントエンドの自動生成について述べる.
一般社団法人情報処理学会の論文
2005-10-15

コンパイラにおける意味解析器の自動生成

スポンサーリンク

概要

著者

関連論文

スポンサーリンク