陳火旺、劉春林、譚慶平、趙克佳、劉越編著的 《程序設計語言編譯原理(第3版高等學校電子信息類 規劃教材)》的參考學時數80學時,其主要內容包括 詞法分析、語法分析、屬性文法與語法制導翻譯、語 義分析與中間代碼產生、符號表與運行時存儲空間組 織、優化.與目標代碼生成、并行編譯技術。本書將 編譯技術的最新發展,例如屬性文法、面向對象語言 的編譯技術、并行編譯技術、編譯程序自動構造工具 等內容系統地融合到教材中。本書的主要例題和習題 均以C、Pascal為語言背景,并在一些重要的章節中 增加了必要的例題,以幫助讀者理解和自學。使用本 教材時應注意,在學這門課之前,學生必須預修計算 引論(程序設計方法)和高級語言(PASCAL、C或C++), 并且最好具有數據結構和離散數學方面的基本知識。
第一章 引論 1.1 什么叫編譯程序 1.2 編譯過程概述 1.3 編譯程序的結構 1.3.1 編譯程序總框 1.3.2 表格與表格管理 I.3.3 出錯處理 1.3.4 第一章 引論 1.1 什么叫編譯程序 1.2 編譯過程概述 1.3 編譯程序的結構 1.3.1 編譯程序總框 1.3.2 表格與表格管理 I.3.3 出錯處理 1.3.4 遍 1.3.5 編譯前端與后端 1.4 編譯程序與程序設計環境 1.5 編譯程序的生成第二章 高級語言及其語法描述 2.1 程序語言的定義 2.1.1 語法 2.1.2 語義 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 形式語言鳥瞰 練 習 第三章 詞法分析 3.1 對于詞法分析器的要求 3.1.1 詞法分析器的功能和輸出形式 3.1.2 詞法分析器作為一個獨立子程序 3.2 詞法分析器的設計 3.2.1 輸入、預處理 3.2.2 單詞符號的識別:超前搜索 3.2.3 狀態轉換圖 3.2.4 狀態轉換圖的實現 3.3 正規表達式與有限自動機 3.3.1 正規式與正規集 3.3.2 確定有限自動機(DFA) 3.3.3 非確定有限自動機(NFA) 3.3.4 正規文法與有限自動機的等價性 3.3.5 正規式與有限自動機的等價性 3.3.6 確定有限自動機的化簡 3.4 詞法分析器的自動產生 3.4.1 語言LEX的一般描述 3.4.2 超前搜索 3.4.3 LEX的實現 練 習 第四章 語法分析——自上而下分析 4.1 語法分析器的功能 4.2 自上而下分析面臨的問題 4.3 LL(1)分析法 4.3.1 左遞歸的消除 4.3.2 消除回溯、提左因子 4.3.3 LL(1)分析條件 4.4 遞歸下降分析程序構造 4.5 預測分析程序 4.5.1 預測分析程序工作過程 4.5.2 預測分析表的構造 4.6 LL(1)分析中的錯誤處理 練 習 第五章 語法分析——自下而上分析 5.1 自下而上分析基本問題 5.1.1 歸約 5.1.2 規范歸約簡述 5.1.3 符號棧的使用與語法樹的表示 5.2 算符優先分析 5.2.1 算符優先文法及優先表構造 5.2.2 算符優先分析算法 5.2.3 優先函數 5.2.4 算符優先分析中的出錯處理 *5.3 LR分析法 5.3.1 LR分析器 5.3.2 LR(0)項目集族和LR(0)分析表的構造 5.3.3 SLR分析表的構造 5.3.4 規范LR分析表的構造 5.3.5 LALR分析表的構造 5.3.6 二義文法的應用 5.3.7 LR分析中的出錯處理 5.4 語法分析器的自動產生工具YAcc 練 習第六章 屬性文法和語法制導翻譯 6.1 屬性文法 6.2 基于屬性文法的處理方法 6.2.1 依賴圖 6.2.2 樹遍歷的屬性計算方法 6.2.3 一遍掃描的處理方法 6.2.4 抽象語法樹 6.3 S一屬性文法的自下而上計算 6.4 L一屬性文法和自頂向下翻譯 6.4.1 翻譯模式 6.4.2 自頂向下翻譯 6.4.3 遞歸下降翻譯器的設計 6.5 自下而上計算繼承屬性 6.5.1 從翻譯模式中去掉嵌入在產生式中間的動作一 6.5.2 分析棧中的繼承屬性 6.5.3 模擬繼承屬性的計算 6.5.4 用綜合屬性代替繼承屬性 練 習第七章 語義分析和中間代碼產生 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.4 布爾表達式的翻譯 7.4.1 數值表示法 7.4.2 作為條件控制的布爾式翻譯 7.5 控制語句的翻譯 7.5.1 控制流語句 7.5.2 標號與got語句 7.5.3 CASE語句的翻譯 7.6 過程調用的處理 7.7 類型檢查 7.7.1 類型系統 7.7.2 類型檢查器的規格說明 7.7.3 函數和運算符的重載 7.7.4 多態函數 練 習第八章 符號表 8.1 符號表的組織與作用 8.1.1 符號表的作用 8.1.2 符號表的組織方式 8.2 整理與查找 8.2.1 線性表 8.2.2 對折查找與二叉樹 8.2.3 雜湊技術 8.3 名字的作用范圍 8.3.1 FORTRAN的符號表組織 8.3.2 Pascal的符號表組織 8.4 符號表的內容 練 習第九章 運行時存儲空間組織 9.1 目標程序運行時的活動 9.1.1 過程的活動 9.1.2 參數傳遞 9.2 運行時存儲器的劃分 9.2.1 運行時存儲器的劃分 9.2.2 活動記錄 9.2.3 存儲分配策略 9.3 靜態存儲分配 9.3.1 數據區 *9.3.2 公用語句的處理 *9.3.3 等價語句的處理 *9.3.4 地址分配 9.3.5 臨時變量的地址分配 9.4 簡單的棧式存儲分配 9.4.1 C的活動記錄 9.4.2 C的過程調用、過程進入、數組空間分配和過程返回 9.5 嵌套過程語言的棧式實現 9.5.1 非局部名字的訪問的實現 9.5.2 參數傳遞的實現 9.6 堆式動態存儲分配 9.6.1 堆式動態存儲分配的實現 9.6.2 隱式存儲回收 練 習第十章 優化 10.1 概述 10.2 局部優化 10.2.1 基本塊及流圖 10.2.2 基本塊的DAG表示及其應用. 10.3 循環優化 10.3.1 代碼外提 10.3.2 強度削弱 10.3.3 刪除歸納變量 *10.4 數據流分析 10.4.1 任意路徑數據流分析 10.4.2 全路徑數據流分析 10.4.3 數據流問題的分類 10.4.4 其它主要的數據流問題 10.4.5 利用數據流信息進行全局優化 練 習第十一章 目標代碼生成 11.1 基本問題 11.2 目標機器模型 11.3 一個簡單的代碼生成器 11.3.1 待用信息 11.3.2 寄存器描述和地址描述 11.3.3 代碼生成算法 11.4 寄存器分配 11.5 DAG的目標代碼 11.6 窺孔優化 練 習第十二章 并行編譯基礎 12.1 并行計算機及其編譯系統. 12.1.1 向量計算機 12.1.2 共享存儲器多處理機 12.1.3 分布存儲器大規模并行計算機 12.1.4 并行編譯系統的結構 12.2 基本概念 12.2.1 向量與向量的次序 12.2.2 循環模型與索引空間 12.2.3 輸入與輸出集合 12.2.4 語句的執行順序 12.3 依賴關系 12.3.1 依賴關系定義 12.3.2 語句依賴圖 12.3.3 依賴距離、依賴方向與依賴層次 12.4 依賴關系問題 12.5 依賴關系測試 12.6 循環的向量化與并行化 12.7 循環變換技術 練 習參考文獻
第一章引論
1.1什么叫編譯程序
使用過現代計算機的人都知道,多數用戶是應用高級語言來實現他們所需要的計算的。現代計算機系統一般都含有不止一個的高級語言編譯程序,對有些高級語言甚至配置了幾個不同性能的編譯程序,供用戶按不同需要進行選擇。高級語言編譯程序是計算機系統軟件最重要的組成部分之一,也是用戶最直接關心的工具之一。
在計算機上執行一個高級語言程序一般要分為兩步:第一步,用一個編譯程序把高級語言翻譯成機器語言程序;第二步,運行所得的機器語言程序求得計算結果。
通常所說的翻譯程序是指這樣的一個程序,它能夠把某一種語言程序(稱為源語言程序)轉換成另一種語言程序(稱為目標語言程序),而后者與前者在邏輯上是等價的。如果源語言是諸如FORTRAN、Pascal、C、Ada、Smalhalk或Java這樣的“高級語言”,而目標語言是諸如匯編語言或機器語言之類的“低級語言”,這樣的一個翻譯程序就稱為編譯程序。
高級語言程序除了像上面所說的先編譯后執行外,有時也可“解釋’’執行。一個源語言的解釋程序是這樣的程序,它以該語言寫的源程序作為輸入,但不產生目標程序,而是邊解釋邊執行源程序本身。本書將不對解釋程序作專門的討論。實際上,許多編譯程序的構造與實現技術同樣適用于解釋程序。
根據不同的用途和側重,編譯程序還可進一步分類。專門用于幫助程序開發和調試的編譯程序稱為診斷編譯程序(DiagnosticCompiler),著重于提高目標代碼效率的編譯程序”4優化編譯程序(0ptiIIlizingCompiler)。現在很多編譯程序同時提供了調試、優化等多種功能,用戶可以通過“開關”進行選擇。運行編譯程序的計算機稱宿主機,運行編譯程序所產生目標代碼的計算機稱目標機。如果一個編譯程序產生不同于其宿主機的機器代碼,則稱它為交叉編譯程序(CrossCompiler)。如果不需重寫編譯程序中與機器無關的部分就能改變目標機,則稱該編譯程序為可變目標編譯程序(RetargetableCompile,)。
世界上第一個編譯程序——FORrⅡ認N編譯程序是20世紀50年代中期研制成功的。當時,人們普遍認為設計和實現編譯程序是一件十分困難、令人生畏的事情。經過40年的努力,編譯理論與技術得到迅速發展,現在已形成了一套比較成熟的、系統化的理論與方法,并且開發出了一些好的編譯程序的實現語言、環境與工具。在此基礎上設計并實現一個編譯程序不再是高不可攀的事情。
本書主要介紹設計和構造編譯程序的基本原理和方法。我們不想羅列太多細節性的材料,著重講一些原理性的東西,但將反映一些最新的進展。
……