編譯技術(shù)

出版說(shuō)明
前言
第1章編譯概述
1.1編譯器與解釋器
1.2編譯器的組織與結(jié)構(gòu)
1.2.1詞法分析
1.2.2語(yǔ)法分析
1.2.3語(yǔ)義分析
1.2.4代碼生成與優(yōu)化
1.2.5符號(hào)表管理及錯(cuò)誤處理
1.3總結(jié)與展望
1.4習(xí)題
第2章實(shí)現(xiàn)一個(gè)簡(jiǎn)單編譯器
2.1語(yǔ)言定義
2.1.1詞法定義
2.1.2語(yǔ)法定義
2.2簡(jiǎn)單編譯器的結(jié)構(gòu)
2.3詞法分析
2.4遞歸下降語(yǔ)法解析
2.4.1規(guī)則的程序?qū)崿F(xiàn)
2.4.2預(yù)測(cè)所選的規(guī)則
2.5抽象語(yǔ)法樹
2.6語(yǔ)義分析
2.6.1符號(hào)表
2.6.2類型檢查與轉(zhuǎn)換
2.7中間代碼生成
2.7.1三地址代碼
2.7.2樹的遍歷與代碼生成
2.8習(xí)題
第3章詞法分析器
3.1詞法分析器概述
3.2單詞的識(shí)別
3.3狀態(tài)轉(zhuǎn)換圖
3.4正則表達(dá)式
3.4.1字母表的概念
3.4.2正則表達(dá)式的形式化定義
3.5有限狀態(tài)自動(dòng)機(jī)與詞法分析器
3.5.1確定的有限狀態(tài)自動(dòng)機(jī)
3.5.2正則表達(dá)式到有限狀態(tài)自動(dòng)機(jī)的轉(zhuǎn)換
3.5.3詞法分析器的自動(dòng)機(jī)實(shí)現(xiàn)
3.6詞法分析器的自動(dòng)生成
3.6.1Lex中的單詞符號(hào)定義
3.6.2Lex中的字符處理
3.6.3其他工具簡(jiǎn)介
3.7習(xí)題
第4章文法與語(yǔ)法解析
4.1文法和語(yǔ)法的定義
4.1.1文法的定義
4.1.2上下文無(wú)關(guān)文法
4.1.3推導(dǎo)與規(guī)約
4.1.4語(yǔ)法樹
4.2自上而下的語(yǔ)法分析
4.2.1左遞歸的消除
4.2.2提取公共左因子
4.2.3遞歸下降分析法
4.2.4表驅(qū)動(dòng)的預(yù)測(cè)分析法
4.3自下而上的語(yǔ)法分析
4.3.1LR分析過(guò)程
4.3.2LR(0)分析表的構(gòu)造
4.3.3SLR(1)分析表的構(gòu)造
4.4語(yǔ)法解析相關(guān)工具
4.4.1YACC
4.4.2ANTLR
4.5習(xí)題
第5章語(yǔ)義分析
5.1語(yǔ)義分析概況
5.1.1語(yǔ)義分析的功能
5.1.2語(yǔ)義分析方法
5.2構(gòu)建抽象語(yǔ)法樹
5.2.1單一類型語(yǔ)法樹的設(shè)計(jì)
5.2.2多類型語(yǔ)法樹的設(shè)計(jì)
5.2.3多類型語(yǔ)法樹的遍歷
5.3符號(hào)表
5.3.1符號(hào)表的數(shù)據(jù)結(jié)構(gòu)
5.3.2哈希符號(hào)表的實(shí)現(xiàn)
5.3.3分程序結(jié)構(gòu)的作用域
5.3.4分程序結(jié)構(gòu)符號(hào)表的實(shí)現(xiàn)
5.4說(shuō)明語(yǔ)句分析
5.4.1簡(jiǎn)單變量聲明
5.4.2結(jié)構(gòu)類型的聲明
5.5賦值語(yǔ)句分析
5.6控制語(yǔ)句分析
5.6.1if語(yǔ)句
5.6.2while語(yǔ)句
5.6.3for語(yǔ)句
5.6.4過(guò)程調(diào)用語(yǔ)句
5.7習(xí)題
第6章LLVM代碼生成與優(yōu)化
6.1LLVM系統(tǒng)
6.1.1LLVM框架設(shè)計(jì)理念
6.1.2LLVM中間代碼表示
6.1.3LLVM代碼示例分析
6.1.4LLVM工具集
6.2LLVM代碼生成
6.2.1常量、局部變量的代碼生成
6.2.2表達(dá)式的代碼生成
6.2.3函數(shù)聲明與調(diào)用
6.3優(yōu)化概述
6.4基本塊與流圖
6.4.1基本塊
6.4.2程序流圖
6.5基本塊內(nèi)的優(yōu)化
6.6循環(huán)優(yōu)化
6.6.1必經(jīng)結(jié)點(diǎn)
6.6.2回邊及循環(huán)的查找
6.6.3循環(huán)的優(yōu)化
6.7習(xí)題
第7章運(yùn)行時(shí)存儲(chǔ)空間的組織與分配
7.1存儲(chǔ)組織
7.1.1運(yùn)行時(shí)內(nèi)存的劃分
7.1.2活動(dòng)記錄
7.1.3存儲(chǔ)分配策略
7.1.4變量的存儲(chǔ)分配
7.2棧式分配
7.2.1只含半靜態(tài)變量的棧式分配
7.2.2半動(dòng)態(tài)變量的棧式分配
7.3嵌套子程序的存儲(chǔ)組織
7.4參數(shù)傳遞方式
7.4.1參數(shù)傳遞的語(yǔ)義模型
7.4.2參數(shù)傳遞的實(shí)現(xiàn)模型
7.5習(xí)題
第8章LCC語(yǔ)言編譯程序的實(shí)現(xiàn)
8.1LCC語(yǔ)言簡(jiǎn)介
8.2詞法分析
8.3語(yǔ)法分析
8.3.1LCC語(yǔ)言文法說(shuō)明
8.3.2YACC與Lex之間的約定
8.3.3抽象語(yǔ)法樹結(jié)點(diǎn)設(shè)計(jì)
8.3.4構(gòu)建抽象語(yǔ)法樹
8.3.5文法動(dòng)作說(shuō)明
8.4語(yǔ)義分析
8.4.1符號(hào)表的實(shí)現(xiàn)
8.4.2語(yǔ)義檢查
8.4.3數(shù)組設(shè)計(jì)與檢查
8.5中間代碼生成
8.5.1LLVM代碼生成接口
8.5.2LCC語(yǔ)言的代碼生成框架
8.5.3表達(dá)式的代碼生成
8.5.4輸入輸出語(yǔ)句的代碼生成
8.6LCC語(yǔ)言代碼運(yùn)行測(cè)試
8.6.1變量作用域測(cè)試
8.6.2控制語(yǔ)句測(cè)試
8.6.3整型數(shù)組測(cè)試
8.6.4字符串?dāng)?shù)組測(cè)試
8.7習(xí)題
附錄縮略語(yǔ)
參考文獻(xiàn)