意味解析

semantic analysis

そのプログラムの意味が正しいかどうかを解析する

記号表を用いて型などの正しさを解析する

抽象構文を抽象マシンコードへ変換する

やること

など

チェックすることの例

変数が二重宣言されていないか

実行時に宣言されていない変数が使われていないか

変数名は利用可能な名前かどうか

演算している部分は型は正しいか

ここを確認して自動でキャストする実装もある

どのタイミングで記号表を作る？

どのタイミングで記号表を検索する？

参考