IT Text コンパイラとバーチャルマシン

詳細目次

第1章　コンパイラの概要
　1.1　コンパイラ
　1.2　インタプリタ
　1.3　コンパイラとインタプリタの比較
　1.4　仮想計算機とJava
　演習問題
第2章　コンパイラの構成とプログラム言語の形式的な記述
　2.1　算術式の中置記法と後置記法
　2.2　コンパイラの論理的な構成
　2.3　コンパイラの物理的な構成
　2.4　プログラム言語の形式的な記述方法－バッカス記法と構文図式
　演習問題
第3章　字句解析
　3.1　字句解析の役割
　3.2　正規表現と有限オートマトン
　3.3　字句読み取りの例
　3.4　字句読み取りプログラム
　演習問題
第4章　構文解析
　4.1　構文解析の役割
　4.2　構文解析法
　4.3　下向き構文解析法
　4.4　構文解析プログラムの例
　演習問題
第5章　中間表現と意味解析
　5.1　中間表現
　5.2　四つ組と構文木
　5.3　意味解析
　5.4　名前表と検索
　演習問題
第6章　コード生成
　6.1　ターゲットマシンモデル
　6.2　オブジェクトコードとしてのJavaVMバイトコード
　6.3　式と代入文の命令語生成
　6.4　制御構造
　演習問題
第7章　最適化
　7.1　解析と変換
　7.2　制御フロー解析
　7.3　データフロー解析
　7.4　最適化変換
　演習問題
第8章　例外処理
　8.1　例外処理とは
　8.2　例外処理の実行手順
　8.3　例外処理のコンパイル方法
　8.4　2返戻値法による例外処理の実現
　8.5　表引き法による例外処理の実現
　演習問題
第9章　コンパイラと実行環境の連携
　9.1　実行環境
　9.2　ごみ集め
　9.3　ごみ集めとコンパイラの連携
　演習問題
第10章　動的コンパイラ
　10.1　動的コンパイラ固有の問題と解決策
　10.2　on stack replacement
　10.3　文脈を利用した最適化
　10.4　脱最適化
　演習問題
参考文献
演習問題略解