編譯原理和技術(shù)（第二版）

第二版前言.
第一版前言
第1章引論
1.1編譯的階段
1.1.1詞法分析
1.1.2語(yǔ)法分析
1.1.3語(yǔ)義分析
1.1.4中間代碼生成
1.1.5代碼優(yōu)化
1.1.6代碼生成
1.1.7符號(hào)表管理
1.1.8錯(cuò)誤診斷和報(bào)告
1.1.9階段的分組
1.2編譯器的伙伴
1.2.1預(yù)處理器
1.2.2匯編器
1.2.3裝配器和連接編輯器
第2章詞法分析
2.1詞法分析器的作用
2.1.1分離詞法分析的理由
2.1.2記號(hào).模式.單詞
2.1.3記號(hào)的屬性
2.1.4詞法錯(cuò)誤
2.2記號(hào)的描述
2.2.1串和語(yǔ)言
2.2.2語(yǔ)言的運(yùn)算
2.2.3正規(guī)式
2.2.4正規(guī)定義
2.2.5表示的縮寫
2.2.6非正規(guī)集
2.3記號(hào)的識(shí)別
2.3.1轉(zhuǎn)換圖
2.3.2實(shí)現(xiàn)轉(zhuǎn)換圖
2.4有限自動(dòng)機(jī)
2.4.1不確定的有限自動(dòng)機(jī)
2.4.2確定的有限自動(dòng)機(jī)
2.4.3NFA到DFA的變換
2.5從正規(guī)式到NFA
2.6DFA的化簡(jiǎn)
2.7詞法分析器的說(shuō)明語(yǔ)言
習(xí)題
第3章語(yǔ)法分析
3.1分析器的作用
3.1.1語(yǔ)法錯(cuò)誤的處理
3.1.2錯(cuò)誤恢復(fù)策略
3.2上下文無(wú)關(guān)文法
3.2.1符號(hào)使用的約定
3.2.2推導(dǎo)
3.2.3分析樹(shù)和推導(dǎo)
3.2.4二義性
3.3語(yǔ)言和文法
3.3.1正規(guī)式和上下文無(wú)關(guān)文法的比較
3.3.2驗(yàn)證文法產(chǎn)生的語(yǔ)言
3.3.3適當(dāng)?shù)谋磉_(dá)式文法
3.3.4消除二義性
3.3.5消除左遞歸
3.3.6提左因子
3.3.7非上下文無(wú)關(guān)的語(yǔ)言結(jié)構(gòu)
3.3.8形式語(yǔ)言概述
3.4自上而下分析
3.4.1自上而下分析的一般方法
3.4.2預(yù)測(cè)分析器
3.4.3非遞歸的預(yù)測(cè)分析
3.4.4開(kāi)始符號(hào)和后繼符號(hào)
3.4.5構(gòu)造預(yù)測(cè)分析表
3.4.6LL(1)文法
3.4.7預(yù)測(cè)分析的錯(cuò)誤恢復(fù)
3.5自下而上分析
3.5.1句柄
3.5.2用棧實(shí)現(xiàn)移進(jìn)—?dú)w約分析
3.5.3移進(jìn)—?dú)w約分析的沖突
3.6LR分析器
3.6.1LR分析算法
3.6.2LR文法
3.6.3構(gòu)造SLR分析表
3.6.4構(gòu)造規(guī)范LR分析表
3.6.5構(gòu)造LALR分析表
3.6.6非LR的上下文無(wú)關(guān)結(jié)構(gòu)
3.7二義文法的應(yīng)用
3.7.1使用優(yōu)先級(jí)和結(jié)合規(guī)則來(lái)解決分析動(dòng)作的沖突
3.7.2懸空else的二義性
3.7.3特殊情況產(chǎn)生式引起的二義性
3.7.4LR分析的錯(cuò)誤恢復(fù)
3.8分析器的生成器
3.8.1分析器的生成器Yacc
3.8.2用Yacc處理二義文法
3.8.3用Lex建立Yacc的詞法分析器
3.8.4Yacc的錯(cuò)誤恢復(fù)
習(xí)題
第4章語(yǔ)法制導(dǎo)的翻譯
4.1語(yǔ)法制導(dǎo)的定義
4.1.1語(yǔ)法制導(dǎo)定義的形式
4.1.2綜合屬性
4.1.3繼承屬性
4.1.4依賴圖
4.1.5計(jì)算次序
4.2S屬性的自下而上計(jì)算
4.2.1語(yǔ)法樹(shù)
4.2.2構(gòu)造表達(dá)式的語(yǔ)法樹(shù)
4.2.3構(gòu)造語(yǔ)法樹(shù)的語(yǔ)法制導(dǎo)定義
4.2.4表達(dá)式的無(wú)環(huán)有向圖
4.2.5S屬性的自下而上計(jì)算
4.3L屬性定義
4.3.1L屬性定義
4.3.2翻譯方案
4.4自上而下翻譯
4.4.1刪除翻譯方案的左遞歸
4.4.2預(yù)測(cè)翻譯器的設(shè)計(jì)
4.5繼承屬性的自下而上計(jì)算
4.5.1刪除翻譯方案中嵌入的動(dòng)作
4.5.2分析棧上的繼承屬性
4.5.3模擬繼承屬性的計(jì)算
4.5.4用綜合屬性代替繼承屬性
4.5.5一個(gè)困難的語(yǔ)法制導(dǎo)定義
4.6遞歸計(jì)算
4.6.1自左向右遍歷
4.6.2其它遍歷方法
4.7語(yǔ)法制導(dǎo)定義的分析
4.7.1屬性的遞歸計(jì)算
4.7.2強(qiáng)無(wú)環(huán)的語(yǔ)法制導(dǎo)定義
習(xí)題
第5章類型檢查
5.1類型體制
5.1.1類型表達(dá)式
5.1.2類型體制
5.1.3靜態(tài)和動(dòng)態(tài)的類型檢查
5.1.4錯(cuò)誤恢復(fù)
5.2簡(jiǎn)單類型檢查器的說(shuō)明
5.2.1一個(gè)簡(jiǎn)單的語(yǔ)言
5.2.2表達(dá)式的類型檢查
5.2.3語(yǔ)句的類型檢查
5.2.4函數(shù)的類型檢查
5.2.5類型轉(zhuǎn)換
5.3類型表達(dá)式的等價(jià)
5.3.1類型表達(dá)式的結(jié)構(gòu)等價(jià)
5.3.2類型表達(dá)式的名字
5.3.3類型表示中的環(huán)
5.4函數(shù)和算符的重載
5.4.1子表達(dá)式的可能類型集合
5.4.2縮小可能類型的集合
5.5多態(tài)函數(shù)
5.5.1為什么要使用多態(tài)函數(shù)
5.5.2類型變量
5.5.3一個(gè)含多態(tài)函數(shù)的語(yǔ)言
5.5.4代換.實(shí)例和合一
5.5.5多態(tài)函數(shù)的檢查
習(xí)題..
第6章運(yùn)行環(huán)境
6.1源語(yǔ)言問(wèn)題
6.1.1過(guò)程
6.1.2活動(dòng)樹(shù)
6.1.3控制棧
6.1.4聲明的作用域
6.1.5名字的結(jié)合
6.2存儲(chǔ)組織
6.2.1運(yùn)行時(shí)內(nèi)存的劃分
6.2.2活動(dòng)記錄
6.2.3編譯時(shí)的局部數(shù)據(jù)安排
6.3存儲(chǔ)分配策略
6.3.1靜態(tài)分配
6.3.2棧分配
6.3.3懸空引用
6.3.4堆分配
6.4訪問(wèn)非局部名字
6.4.1程序塊
6.4.2無(wú)過(guò)程嵌套的靜態(tài)作用域
6.4.3有過(guò)程嵌套的靜態(tài)作用域
6.4.4動(dòng)態(tài)作用域
6.5參數(shù)傳遞
6.5.1值調(diào)用
6.5.2引用調(diào)用
6.5.3復(fù)寫—恢復(fù)
6.5.4換名調(diào)用
習(xí)題
第7章中間代碼生成
7.1中間語(yǔ)言
7.1.1后綴表示
7.1.2圖形表示
7.1.3三地址代碼
7.1.4三地址語(yǔ)句的種類
7.1.5三地址語(yǔ)句的實(shí)現(xiàn)
7.1.6內(nèi)部表示的比較
7.2聲明
7.2.1過(guò)程中的聲明
7.2.2作用域信息的保存
7.2.3記錄的域名
7.3賦值語(yǔ)句
7.3.1符號(hào)表中的名字
7.3.2臨時(shí)名字的重新使用
7.3.3數(shù)組元素的定址
7.3.4數(shù)組元素定址的翻譯方案
7.3.5賦值語(yǔ)句中的類型轉(zhuǎn)換
7.3.6記錄域的訪問(wèn)
7.4布爾表達(dá)式
7.4.1翻譯布爾表達(dá)式的方法
7.4.2數(shù)值表示
7.4.3短路代碼
7.4.4控制流語(yǔ)句
7.4.5布爾表達(dá)式的控制流翻譯
7.5分情況語(yǔ)句
習(xí)題
第8章代碼生成
8.1代碼生成器設(shè)計(jì)中的問(wèn)題
8.1.1代碼生成器的輸入
8.1.2目標(biāo)程序
8.1.3存儲(chǔ)管理
8.1.4指令選擇
8.1.5寄存器分配
8.1.6計(jì)算次序選譯
8.1.7代碼生成途徑
8.2目標(biāo)機(jī)器
8.2.1目標(biāo)機(jī)器
8.2.2指令代價(jià)
8.3基本塊和流圖
8.3.1基本塊
8.3.2基本塊的變換
8.3.3流圖
8.4下次引用信息
8.4.1計(jì)算下次引用信息
8.4.2臨時(shí)名字的存儲(chǔ)分配
8.5一個(gè)簡(jiǎn)單的代碼生成器
8.5.1寄存器描述和地址描述
8.5.2代碼生成算法
8.5.3函數(shù)getreg
8.5.4為其它類型的語(yǔ)句產(chǎn)生代碼
8.5.5條件語(yǔ)句
習(xí)題
第9章代碼優(yōu)化
9.1引言
9.1.1代碼改進(jìn)變換的標(biāo)準(zhǔn)
9.1.2爭(zhēng)取較好的性能
9.1.3優(yōu)化編譯器的組織
9.2優(yōu)化的主要種類
9.2.1公共子表達(dá)式
9.2.2復(fù)寫傳播
9.2.3死代碼刪除
9.2.4循環(huán)優(yōu)化
9.2.5代碼外提
9.2.6歸納變量和強(qiáng)度消弱
9.3流圖中的循環(huán)
9.3.1必經(jīng)結(jié)點(diǎn)
9.3.2自然循環(huán)
9.3.3內(nèi)循環(huán)
9.3.4前置結(jié)點(diǎn)
9.3.5可歸約流圖
9.4全局?jǐn)?shù)據(jù)流分析介紹
9.4.1點(diǎn)和路徑
9.4.2到達(dá)-定值
9.4.3到達(dá)-定值的迭代算法
9.4.4可用表達(dá)式
9.4.5活躍變量分析
9.4.6定值-引用鏈
9.5代碼改進(jìn)變換
9.5.1公共子表達(dá)式刪除
9.5.2復(fù)寫傳播
9.5.3尋找循環(huán)不變計(jì)算
9.5.4代碼外提
9.5.5代碼外提后維持?jǐn)?shù)據(jù)流信息
9.5.6歸納變量刪除
9.5.7有循環(huán)不變計(jì)算的歸納變量
習(xí)題
第10章面向?qū)ο笳Z(yǔ)言的編譯
10.1面向?qū)ο笳Z(yǔ)言的概念
10.1.1對(duì)象
10.1.2對(duì)象類
10.1.3繼承性
10.1.4信息封裝
10.1.5小結(jié)
10.2方法的編譯
10.3編譯繼承性的方案
10.3.1簡(jiǎn)單繼承性的編譯方案
10.3.2多繼承性的編譯方案
習(xí)題
第11章函數(shù)式程序設(shè)計(jì)語(yǔ)言的編譯
11.1函數(shù)式程序設(shè)計(jì)語(yǔ)言簡(jiǎn)介
11.1.1SFP臺(tái)構(gòu)造
11.1.2參數(shù)傳遞機(jī)制
11.1.3自由出現(xiàn)和約束出現(xiàn)
11.2一個(gè)簡(jiǎn)單的函數(shù)式語(yǔ)言的編譯簡(jiǎn)介
11.2.1幾個(gè)受啟發(fā)的例子
11.2.24個(gè)編譯函數(shù)
11.2.3環(huán)境與約束
11.3抽象機(jī)的系統(tǒng)結(jié)構(gòu)
11.3.1FAM的棧
11.3.2FAM的堆
11.3.3名字的尋址
11.3.4約束的建立
11.4指令集和編譯
11.4.1程序表達(dá)式
11.4.2簡(jiǎn)單表達(dá)式
11.4.3變量的引用性出現(xiàn)
11.4.4函數(shù)定義
11.4.5函數(shù)應(yīng)用
11.4.6構(gòu)造和計(jì)算閉包
11.4.7letrec表達(dá)式和局部變量
11.5表的實(shí)現(xiàn)
11.5.1SFP的擴(kuò)充
11.5.2表表達(dá)式的編譯
11.5.3表運(yùn)算的編譯
習(xí)題...