前言第1章 概論 1.1 語言和人類 1.2 語言和計算機 1.3 語言和編譯 1.4 程序設計語言的編譯 1.5 一個語句的編譯舉例 1.6 編譯的遍數 1.7 本書的組成 習題第2章 文法和語言 2.1 預備知識 2.2 文法 2.3 語言 2.4 文法所生成的語言 2.5 圖靈機 2.6 有關文法和語言的問題 習題第3章 有限自動機和正則錶達式 3.1 確定的有限自動機 3.2 不確定的有限自動機 3.3 帶有ε的有限自動機 3.4 正則錶達式 3.5 兩路有限自動機 3.6 正則文法 3.7 關於正則語言的判定 習題第4章 詞法分析 4.1 詞法分析的作用 4.2 詞法分析程序的輸齣 4.3 錯誤處理 習題第5章 上下文無關文法和下推自動機 5.1 上下文無關文法 5.2 上下文無關文法的性質 5.3 下推自動機 5.4 下推自動機和上下文無關語言 習題第6章 語法分析 6.1 LL(1)語法分析 6.2 LL(1)文法的確定 6.3 LL(1)語法分析方法 6.4 自底嚮上的語法分析 6.5 LR(1)語法分析方法 6.5.1 LR(o)語法分析 6.5.2 SLR(1)語法分析 6.5.3 LALR(1)語法分析 6.5.4 LR(1)語法分析 6.5.5 LL(1)語法分析方法和LR(1)語法分析方法的比較 習題第7章 屬性文法及其分析 7.1 屬性文法 7.2 依賴圖和屬性計算 7.2.1 動態屬性計算 7.2.2 循環處理 7.3 L屬性文法和s屬性文法 習題第8章 編譯程序設計的代數方法 8.1 源語言 8.2 代數基礎和推理語言 8.2.1 代數基礎 8.2.2 推理語言 8.3 一個簡單的編譯程序 8.3.1 規範形式 8.3.2 規範形式的歸結 8.3.3 目標機器 8.3.4 錶達式的化簡 8.3.5 控製的消除 8.3.6 數據求精 8.3.7 編譯過程 8.4 過程、遞歸和參數 8.4.1 記號 8.4.2 過程 8.4.3 遞歸 8.4.4 帶參數的程序 8.4.5 帶參數的過程 8.4.6 帶參數的遞歸 8.4.7 討論 8.5 小結 習題第9章 中間代碼的生成 9.1 為什麼需要有中間代碼生成階段 9.2 中間代碼語言 9.2.1 圖形錶示 9.2.2 後綴錶示 9.2.3 四元組代碼 習題第10章 糾錯與優化 10.1 錯誤檢測和恢復 10.2 語法錯誤檢查 10.2.1 LL(1)分析程序的錯誤處理 10.2.2 LR(1)分析中的錯誤處理 10.3 語義錯誤檢查 10.4 程序的優化 10.5 程序優化的幾個主要途徑 10.5.1 公共子錶達式的刪除 10.5.2 副本傳播 10.5.3 廢代碼的刪除 10.5.4 循環優化 習題第11章 存儲管理 11.1 全局分配策略 11.2 動態分配 11.2.1 棧式分配 11.2.2 堆式分配 11.3 存儲空間的迴收 11.3.1 基本垃圾收集算法 11.3.2 編譯程序對垃圾收集程序的支持 11.3.3 引用計數 11.3.4 標記和掃描 11.3.5 兩空間復製 11.3.6 緊縮 11.4 參數傳遞 11.4.1 值調用 11.4.2 引用調用 11.4.3 復寫-恢復調用 1].4.4 換名調用 習題笫12章 目標代碼生成 12.1 代碼生成程序設計的有關問題 12.1.1 代碼生成程序的輸入 12.1.2 目標程序 12.1.3 存儲管理 12.1.4 指令選擇 12.1.5 寄存器分配 12.1.6 計算順序的選擇 12.1.7 代碼生成的方法 12.2 目標機器MMIX 12.3 MMIX的匯編語言 12.4 MMIXAL目標代碼的生成 12.4.1 錶達式逆波蘭錶示的翻譯 12.4.2 錶達式三元式的翻譯 12.4.3 錶達式四元組形成的翻譯 12.4.4 錶達式的翻譯 12.4.5 錶達式的語法樹形式的翻譯 12.4.6 各種語句的翻譯 習題第13章 麵嚮對象語言的編譯 13.1 對象及其編譯 13.2 對象的特徵 習題第14章 並行語言的編譯 14.1 並行機和並行計算的提齣 14.2 並行程序設計 14.2.1 共享變量和管程 14.2.2 消息傳送模型 14.3 麵嚮對象的語言 14.4 Linda元組空間 14.5 數據並行語言 14.6 隱式並行程序的代碼生成 14.6.1 區域的類型 14.6.2 區域的形成 14.6.3 區域的幾個調度算法 習題第15章 網格計算的編譯 15.1 網格計算的興起與其內涵 15.2 網格計算模型 15.2.1 分組路由 15.2.2 綫性陣列中的分組路由 15.3 網格計算的編譯 習題參考文獻
· · · · · · (收起)