中文名: 編譯原理
作者: 陳意雲
張昱
圖書分類: 軟件
資源格式: PDF
版本: 文字版
出版社: 高等教育出版社
書號: 9787040133677
發行時間: 2003年09月
地區: 大陸
語言: 簡體中文
簡介:

內容簡介：
本書介紹編譯器構造的一般原理和基本實現方法,主要內容包括詞法分析、語法分析、語義分析、中間代碼生成、代碼優化和目標代碼生成等。除了介紹命令式編程語言的編譯技術外, 本書還介紹面向對象語言和函數式編程語言的實現技術。本書還強調一些相關的理論知識, 如形式語言和自動機理論、語法制導的定義和屬性文法、類型論和類型系統等。
本書取材廣泛新穎、圖文並茂,注意理論聯系實際。本書可作為高等學校計算機科學及相關專業的教材,也可供計算機軟件工程技術人員參考使用。
內容截圖：

目錄:
第1章 編譯器概述
1．1 詞法分析
1．2 語法分析
1．3 語義分析
1．4 中間代碼生成
1．5 代碼優化
1．6 代碼生成
1．7 符號表管理
1．8 錯誤診斷和報告
1．9 階段的分組
習題1
第2章 詞法分析
2．1 詞法記號及屬性
2．1．1 詞法記號、模式、詞法單元
2．1．2 詞法記號的屬性
2．1．3 詞法錯誤
2．2 詞法記號的描述與識別
2．2．1 串和語言
2．2．2 正規式
2．2．3 正規定義
2．2．4 狀態轉換圖
2．3 有限自動機
2．3．1 不確定的有限自動機
2．3．2 確定的有限自動機
2．3．3 NFA到DFA的變換
2．3．4 DFA的化簡
2．4 從正規式到有限自動機
2．5 詞法分析器的生成器
習題2
第3章 語法分析
3．1 上下文無關文法
3．1．1 上下文無關文法的定義
3．1．2 推導
3．1．3 分析樹
3．1．4 二義性
3．2 語言和文法
3．2．1 正規式和上下文無關文法的比較
3．2．2 分離詞法分析器的理由
3．2．3 驗證文法產生的語言
3．2．4 適當的表達式文法
3．2．5 消除二義性
3．2．6 消除左遞歸
3．2．7 提左因子
3．2．8 非上下文無關的語言結構
3．2．9 形式語言鳥瞰
3．3 自上而下分析
3．3．1 自上而下分析的一般方法
3．3．2 LL(1)文法
3．3．3 遞歸下降的預測分析
3．3．4 非遞歸的預測分析
3．3．5 構造預測分析表
3．3．6 預測分析的錯誤恢復
3．4 自下而上分析
3．4．1 歸約
3．4．2 句柄
3．4．3 用棧實現移進一歸約分析
3．4．4 移進一歸約分析的沖突
3．5 LR分析器
3．5．1 LR分析算法
3．5．2 LR文法和LR分析方法的特點
3．5．3 構造sLR分析表
3．5．4 構造規范的LR分析表
3．5．5 構造LALR分析表
3．5．6 非LR的上下文無關結構
3．6 二義文法的應用
3．6．1 使用文法以外的信息來解決分析動作的沖突
3．6．2 特殊情況產生式引起的二義性
3．6．3 IR分析的錯誤恢復
3．7 分析器的生成器
3．7．1 分析器的生成器Yacc
3．7．2 用Yaec處理二義文法
3．7．3 Yaec的錯誤恢復
習題3
第4章 語法制導的翻譯
4．1 語法制導的定義
4．1．1 語法制導定義的形式
4．1．2 綜合屬性
4．1．3 繼承屬性
4．1．4 屬性依賴圖
4．1．5 屬性計算次序
4．2 s屬性定義的自下而上計算
4．2．1 語法樹
4．2．2 構造語法樹的語法制導定義
4．2．3 S屬性的自下而上計算
4．3 L屬性定義的自上而下計算
4．3．1 L屬性定義
4．3．2 翻譯方案
4．3．3 預測翻譯器的設計
4．3．4 用綜合屬性代替繼承屬性
4．4 L屬性的自下而上計算
4．4．1 刪除翻譯方案中嵌入的動作
4．4．2 分析棧上的繼承屬性
4．4．3 模擬繼承屬性的計算
4．5 遞歸計算
4．5．1 自左向右遍歷
4．5．2 其他遍歷方法
4．5．3 多次遍歷
習題4
第5章 類型檢查
5．1 類型在程序設計語言中的作用
5．1．1 引言
5．1．2 執行錯誤和安全語言
5．1．3 類型化語言的優點
5．2 描述類型系統的語言
5．2．1 定型斷言
5．2．2 定型規則
5．2．3 類型檢查和類型推斷
5．3 簡單類型檢查器的說明
5．3．1 一個簡單的語言
5．3．2 類型系統
5．3．3 類型檢查
5．3．4 類型轉換
5．4 多態函數
5．4．1 為什麼要使用多態函數
5．4．2 類型變量
5．4．3 一個含多態函數的語言
5．4．4 代換、實例和合
5．4．5 多態函數的類型檢查
5．5 類型表達式的等價
5．5．1 類型表達式的結構等價
5．5．2 類型表達式的名字等價
5．5．3 記錄類型
5．5．4 類型表示中的環
5．6 函數和算符的重載
5．6．1 子表達式的可能類型集合
5．6．2 縮小可能類型的集合
習題5
第6章 運行時存儲空間的組織和管理
6．1 局部存儲分配策略
6．1．1 過程
6．1．2 名字的作用域和綁定
6．1．3 活動記錄
6．1．4 局部數據的安排
6．1．5 程序塊
6．2 全局存儲分配策略
6．2．1 運行時內存的劃分
6．2．2 靜態分配
6．2．3 棧式分配
6．2．4 堆式分配
6．3 非局部名字的訪問
6．3．1 無過程嵌套的靜態作用域
6．3．2 有過程嵌套的靜態作用域
6．3．3 動態作用域
6．4 參數傳遞
6．4．1 值調用
6．4．2 引用調用
6．4．3 復寫一恢復調用
6．4．4 換名調用1
習題6
第7章 中間代碼生成
7．1 中間語言
7．1．1 後綴表示
7．1．2 圖形表示
7．1．3 三地址代碼
7．2 聲明語句
7．2．1 過程中的聲明
7．2．2 作用域信息的保存
7．2．3 記錄的域名
7．3 賦值語句
7．3．1 符號表中的名字
7．3．2 臨時名字的重新使用
7．3．3 數組元素的地址計算
7．3．4 數組元素地址計算的翻譯方案
7．3．5 類型轉換
7．4 布爾表達式和控制流語句
7．4．1 布爾表達式的翻譯
7．4．2 控制流語句的翻譯
7．4．3 布爾表達式的控制流翻譯
7．4．4 開關語句的翻譯
7．4．5 過程調用的翻譯
習題7
第8章 代碼生成
8．1 代碼生成器設計中的問題
8．1．1 目標程序
8．1．2 指令選擇
8．1．3 寄存器分配
8．1．4 計算次序選擇
8．2 目標機器
8．2．1 目標機器的指令系統
8．2．2 指令的代價
8．3 基本塊和流圖
8．3．1 基本塊
8．3．2 基本塊的變換
8．3．3 流圖
8．3．4 下次引用信息
8．4 一個簡單的代碼生成器
8．4．1 寄存器描述和地址描述
8．4．2 代碼生成算法
8．4．3 寄存器選擇函數
8．4．4 為變址和指針語句產生代碼
8．4．5 條件語句
習題8
第9章 代碼優化
9．1 優化的主要種類
9．1．1 代碼改進變換的標准
9．1．2 公共子表達式刪除
9．1．3 復寫傳播
9．1．4 死代碼刪除
9．1．5 代碼外提
9．1．6 強度削弱和歸納變量刪除
9．1．7 優化編譯器的組織
9．2 流圖中的循環
9．2．1 必經結點
9．2．2 自然循環
9．2．3 前置結點
9．2．4 可歸約流圖
9．3 全局數據流分析介紹
9．3．1 點和路徑
9．3．2 到達一定值
9．3．3 可用表達式
9．3．4 活躍變量分析
9．4 代碼改進變換
9．4．1 公共子表達式刪除
9．4．2 復寫傳播
9．4．3 尋找循環不變計算
9．4．4 代碼外提
9．4．5 歸納變量刪除
習題9
第10章 編譯系統和運行系統
10．1 c語言的編譯系統
10．1．1 預處理器
10．1．2 匯編器
10．1．3 連接器
10．1．4 目標文件的格式
10．1．5 符號解析
10．1．6 靜態庫
10．1．7 可執行目標文件及裝入
10．1．8 動態連接
10．1．9 處理目標文件的一些工具
10．2 Java語言的運行系統
10．2．1 Java虛擬機語言簡介
10．2．2 Java虛擬機
10．2．3 即時編譯器
10．3 無用單元收集
10．3．1 標記和清掃
10．3．2 引用計數
10．3．3 拷貝收集
10．3．4 分代收集
10．3．5 漸增式收集
10．3．6 編譯器與收集器之間
的相互影響
習題10
第11章 面向對象語言的編譯
11．1 面向對象語言的概念
11．1．1 對象和對象類
11．1．2 繼承
11．1．3 信息封裝
11．2 方法的編譯
11．3 繼承的編譯方案
11．3．1 單一繼承的編譯方案
11．3．2 重復繼承的編譯方案
習題11
第12章 函數式語言的編譯
12．1 函數式程序設計語言簡介
12．1．1 語言構造
12．1．2 參數傳遞機制
12．1．3 變量的自由出現和約束出現
12．2 函數式語言的編譯簡介
12．2．1 幾個受啟發的例子
12．2．2 編譯函數
12．2．3 環境與約束
12．3 抽象機的系統結構
12．3．1 抽象機的棧
12．3．2 抽象機的堆
12．3．3 名字的尋址
12．3．4 約束的建立
12．4 指令集和編譯
12．4．1 表達式
12．4．2 變量的引用性出現
12．4．3 函數定義
12．4．4 函數應用
12．4．5 構造和計算閉包
12．4．6 letres表達式和局部變量
習題12
參考文獻