本書是在計算機領域本科教育教學改革試點工作計劃“編譯原理”課程組的組織下編寫的理論教材之一。
本書從理論和實踐兩個方面指導與幫助學生深刻理解編譯器的工作原理。其中，理論方法的教學使得學生能夠理解編譯器運行過程中的核心算法，而實踐技術則幫助學生掌握理論方法及算法在代碼實現層面的設計與編碼要點，最後結合實踐內容對理論方法與實踐技術進行鞏固。
本書適合作為高校計算機及相關專業編譯原理課程的教材，也適合作為研發人員瞭解編譯技術的參考書。
| FindBook |
|
有 1 項符合
許暢的圖書 |
 |
$ 327 | 編譯方法、技術與實踐
作者：許暢 出版社：機械工業出版社 出版日期：2024-07-01 語言：簡體中文 規格：平裝 / 281頁 / 19 x 26 x 1.41 cm / 普通級/ 1-1  博客來 - 計算機概論
- 來源網頁  看圖書介紹
|
|
|
圖書介紹 - 資料來源：博客來 評分：
圖書名稱：編譯方法、技術與實踐
內容簡介
作者介紹
許暢，南京大學計算機科學與技術系教授，“101計劃”編譯課程建設專家。2008年在香港科技大學獲得博士學位，2010年入選新世紀優秀人才支持計劃，2011年獲得國家科技進步二等獎，2015年獲得CCF青年科學家獎，2021年入選長江學者獎勵計劃。主持和參與了多項國家和省部級科研項目，包括國家重點研發計劃和自然科學基金重點項目等。研究興趣包括大數據、軟件工程、智能軟件測試與分析，以及自適應與自控軟件系統。發表了180餘篇學術論文，工作被包括TOSEM、TSE、ESEC/FSE、ICSE和《中國科學》等在內的國內外知名期刊和會議收錄，曾獲ACMSIGSOFT傑出論文獎4次和國際會議最佳論文獎3次。服務於ESEC/FSE、ICSE和ASE等程序委員會，擔任JSEP、JCST、FCS和《計算機科學》等期刊編委。
馮洋，南京大學計算機科學與技術系助理研究員。2019年在加州大學歐文分校獲得博士學位。主要研究方向為複雜軟件系統的質量保障及可信程序設計語言工程技術，研究課題包括大型複雜軟件系統的質量保障問題及可信軟件基礎設施構建與工程技術問題。主持和參與了多項國家和省部級科研項目，包括國家重大專項計劃、自然科學基金面上項目和青年項目。近年來在軟件工程領域的
ICSE、FSE、ASE、ISSTA、TSE、TOSEM、《中國科學》《軟件學報》等期刊和會議發表學術論文40餘篇，獲得ACM傑出論文獎兩次。申請發明專利多項，部分專利成果已經在華為、百度等知名公司轉化應用。
鄭豔偉，山東大學計算機科學與技術學院副研究員。2019年在北京航空航天大學獲博士學位。主要研究方向包括計算機視覺、目標驅動的視覺導航、編譯器構造。主持了國家重點研發計劃與課題和自然科學基金重點項目與課題；主持多項橫向項目，曾參與華為昇騰芯片算子和眾智項目開發，曾在RPA中設計了一種腳本語言並開發了解釋器。近年來在ICDE、Com-Com、IoT-J、WASA、《中國科學》等期刊和會議發表學術論文20餘篇，申請發明專利30余項，擔任IoT-J、JMLC、SPL、CIT等期刊審稿人。
陳鄞，哈爾濱工業大學計算學部軟件學院副教授。2008年在哈爾濱工業大學獲得計算機應用專業博士學位。國家一流課程“編譯原理”負責人，首批高校計算機專業優秀教師獎勵計劃獲獎者。主要研究方向為軟件工程、自然語言處理、機器學習等。參與完成多項國家自然科學基金項目和國家重點研發計劃項目。2008年至今一直從事一線教學工作，主講“編譯原理”“信息檢索”“自
然語言處理”“中文信息處理”等本科和研究生課程。獲哈爾濱工業大學教學優秀獎1次，主編教材3部。
譚添，南京大學計算機科學與技術系准聘助理授。2017年在新南威爾士大學獲得博士學位，2017~2019年在奧胡斯大學從事博士後研究工作。主要研究方向為程序分析與程序設計語言，研究成果發表在TOPLAS、TOSEM、TSE、PLDI、OOPSLA、FSE等領域內高水平期刊與會議上。
陳林，南京大學計算機科學與技術系副教授。2009年在東南大學獲得博士學位。主持和參與了多項國家和省部級科研項目，包括國家重點研發計劃和自然科學基金項目等，多次獲得省部級科技進步獎。研究興趣包括軟件分析測試、軟件生態系統質量保障等，與合作者在TSE、TOSEM、ICSE、FSE、《中國科學》和《軟件學報》等國內外期刊和會議上發表論文100餘篇，部分成果在華為等知名公司轉化應用。
馮洋，南京大學計算機科學與技術系助理研究員。2019年在加州大學歐文分校獲得博士學位。主要研究方向為複雜軟件系統的質量保障及可信程序設計語言工程技術，研究課題包括大型複雜軟件系統的質量保障問題及可信軟件基礎設施構建與工程技術問題。主持和參與了多項國家和省部級科研項目，包括國家重大專項計劃、自然科學基金面上項目和青年項目。近年來在軟件工程領域的
ICSE、FSE、ASE、ISSTA、TSE、TOSEM、《中國科學》《軟件學報》等期刊和會議發表學術論文40餘篇，獲得ACM傑出論文獎兩次。申請發明專利多項，部分專利成果已經在華為、百度等知名公司轉化應用。
鄭豔偉，山東大學計算機科學與技術學院副研究員。2019年在北京航空航天大學獲博士學位。主要研究方向包括計算機視覺、目標驅動的視覺導航、編譯器構造。主持了國家重點研發計劃與課題和自然科學基金重點項目與課題；主持多項橫向項目，曾參與華為昇騰芯片算子和眾智項目開發，曾在RPA中設計了一種腳本語言並開發了解釋器。近年來在ICDE、Com-Com、IoT-J、WASA、《中國科學》等期刊和會議發表學術論文20餘篇，申請發明專利30余項，擔任IoT-J、JMLC、SPL、CIT等期刊審稿人。
陳鄞，哈爾濱工業大學計算學部軟件學院副教授。2008年在哈爾濱工業大學獲得計算機應用專業博士學位。國家一流課程“編譯原理”負責人，首批高校計算機專業優秀教師獎勵計劃獲獎者。主要研究方向為軟件工程、自然語言處理、機器學習等。參與完成多項國家自然科學基金項目和國家重點研發計劃項目。2008年至今一直從事一線教學工作，主講“編譯原理”“信息檢索”“自
然語言處理”“中文信息處理”等本科和研究生課程。獲哈爾濱工業大學教學優秀獎1次，主編教材3部。
譚添，南京大學計算機科學與技術系准聘助理授。2017年在新南威爾士大學獲得博士學位，2017~2019年在奧胡斯大學從事博士後研究工作。主要研究方向為程序分析與程序設計語言，研究成果發表在TOPLAS、TOSEM、TSE、PLDI、OOPSLA、FSE等領域內高水平期刊與會議上。
陳林，南京大學計算機科學與技術系副教授。2009年在東南大學獲得博士學位。主持和參與了多項國家和省部級科研項目，包括國家重點研發計劃和自然科學基金項目等，多次獲得省部級科技進步獎。研究興趣包括軟件分析測試、軟件生態系統質量保障等，與合作者在TSE、TOSEM、ICSE、FSE、《中國科學》和《軟件學報》等國內外期刊和會議上發表論文100餘篇，部分成果在華為等知名公司轉化應用。
目錄
出版說明
前言
第1章 概述 1
1.1 內容組織 1
1.2 編譯器的結構 3
1.2.1 詞法分析 4
1.2.2 語法分析 5
1.2.3 語義分析 5
1.2.4 中間代碼生成 6
1.2.5 目標代碼生成 7
1.2.6 中間代碼優化 7
1.3 語言和工具簡介 8
1.3.1 源語言C--簡介 9
1.3.2 目標語言MIPS簡介 9
1.3.3 MIPS模擬器簡介 11
1.3.4 實踐環境 12
第2章 詞法分析和語法分析 13
2.1 詞法分析和語法分析的理論方法 16
2.1.1 詞法分析概要 16
2.1.2 正則表達式 18
2.1.3 有限狀態自動機 21
2.1.4 從NFA到DFA的轉換 24
2.1.5 狀態最小化算法 25
2.1.6 語法分析概要 26
2.1.7 上下文無關文法 28
2.1.8 自頂向下的語法分析算法 30
2.1.9 自底向上的語法分析算法 33
2.2 詞法分析和語法分析的實踐技術 36
2.2.1 詞法分析實現思想概述 37
2.2.2 GNU Flex介紹 37
2.2.3 Flex：編寫源代碼 38
2.2.4 Flex：書寫正則表達式 41
2.2.5 Flex：高級特性 42
2.2.6 詞法分析實踐的額外提示 45
2.2.7 語法分析實現思想概述 46
2.2.8 GUN Bison介紹 46
2.2.9 Bison：編寫源代碼 48
2.2.10 Bison：屬性值的類型 51
2.2.11 Bison：詞法單元的位置 52
2.2.12 Bison：二義性與衝突處理 53
2.2.13 Bison：源代碼的調試 55
2.2.14 Bison：錯誤恢復 56
2.2.15 語法分析實踐的額外提示 57
2.3 詞法分析和語法分析的實踐內容 58
2.3.1 實踐要求 58
2.3.2 輸入格式 58
2.3.3 輸出格式 59
2.3.4 驗證環境 59
2.3.5 提交要求 60
2.3.6 樣例（必做部分） 60
2.3.7 樣例（選做部分） 63
2.4 本章小結 67
習題 67
第3章 語義分析 69
3.1 語義分析的理論方法 72
3.1.1 屬性文法 72
3.1.2 基於屬性文法的處理方式 73
3.1.3 S屬性文法和L屬性文法 75
3.1.4 語法制導的定義 76
3.1.5 語法制導的翻譯方案 77
3.1.6 SDT中左遞歸的消除 78
3.1.7 類型檢查 80
3.2 語義分析的實踐技術 82
3.2.1 語義分析實現思想概述 82
3.2.2 符號表的設計與實現 83
3.2.3 支持多層作用域的符號表 85
3.2.4 類型表示 87
3.2.5 語義分析實踐的額外提示 89
3.3 語義分析的實踐內容 89
3.3.1 實踐要求 89
3.3.2 輸入格式 91
3.3.3 輸出格式 91
3.3.4 驗證環境 92
3.3.5 提交要求 92
3.3.6 樣例（必做部分） 92
3.3.7 樣例（選做部分） 98
3.4 本章小結 101
習題 102
第4章 中間代碼生成 105
4.1 中間代碼生成的理論方法 108
4.1.1 運行時環境概要 108
4.1.2 存儲組織與棧幀設計方法 108
4.1.3 中間表示 110
4.1.4 類型與聲明 111
4.1.5 表達式的翻譯 113
4.1.6 控制流與回填 117
4.2 中間代碼生成的實踐技術 122
4.2.1 線形中間表示 122
4.2.2 圖形中間表示 123
4.2.3 運行時環境簡介 123
4.2.4 基本表達式的翻譯模式 124
4.2.5 語句的翻譯模式 125
4.2.6 函數調用的翻譯模式 126
4.2.7 數組和結構體的翻譯模式 127
4.3 中間代碼生成的實踐內容 127
4.3.1 實踐要求 127
4.3.2 輸入格式 130
4.3.3 輸出格式 130
4.3.4 驗證環境 130
4.3.5 提交要求 130
4.3.6 樣例（必做部分） 131
4.3.7 樣例（選做部分） 133
4.4 本章小結 135
習題 136
第5章 目標代碼生成 139
5.1 目標代碼生成的理論方法 142
5.1.1 代碼生成概述 142
5.1.2 指令集架構 145
5.1.3 基本塊與流圖 147
5.1.4 指令選擇算法 150
5.1.5 寄存器分配算法 153
5.1.6 窺孔優化 156
5.1.7 代碼生成器構建 159
5.2 目標代碼生成的實踐技術 162
5.2.1 QtSpim簡介 162
5.2.2 MIPS32彙編代碼簡介 165
5.2.3 指令選擇算法實現 167
5.2.4 樸素寄存器分配算法實現 169
5.2.5 局部寄存器分配算法實現 170
5.2.6 活躍變量分析算法實現 170
5.2.7 圖染色算法實現 171
5.2.8 MIPS寄存器的使用 174
5.2.9 MIPS棧管理 175
5.2.10 目標代碼生成實踐的額外提示 179
5.3 目標代碼生成的實踐內容 180
5.3.1 實踐要求 180
5.3.2 輸入格式 181
5.3.3 輸出格式 181
5.3.4 驗證環境 181
5.3.5 提交要求 181
5.3.6 樣例（必做部分） 182
5.4 本章小結 185
習題 186
…..
前言
第1章 概述 1
1.1 內容組織 1
1.2 編譯器的結構 3
1.2.1 詞法分析 4
1.2.2 語法分析 5
1.2.3 語義分析 5
1.2.4 中間代碼生成 6
1.2.5 目標代碼生成 7
1.2.6 中間代碼優化 7
1.3 語言和工具簡介 8
1.3.1 源語言C--簡介 9
1.3.2 目標語言MIPS簡介 9
1.3.3 MIPS模擬器簡介 11
1.3.4 實踐環境 12
第2章 詞法分析和語法分析 13
2.1 詞法分析和語法分析的理論方法 16
2.1.1 詞法分析概要 16
2.1.2 正則表達式 18
2.1.3 有限狀態自動機 21
2.1.4 從NFA到DFA的轉換 24
2.1.5 狀態最小化算法 25
2.1.6 語法分析概要 26
2.1.7 上下文無關文法 28
2.1.8 自頂向下的語法分析算法 30
2.1.9 自底向上的語法分析算法 33
2.2 詞法分析和語法分析的實踐技術 36
2.2.1 詞法分析實現思想概述 37
2.2.2 GNU Flex介紹 37
2.2.3 Flex：編寫源代碼 38
2.2.4 Flex：書寫正則表達式 41
2.2.5 Flex：高級特性 42
2.2.6 詞法分析實踐的額外提示 45
2.2.7 語法分析實現思想概述 46
2.2.8 GUN Bison介紹 46
2.2.9 Bison：編寫源代碼 48
2.2.10 Bison：屬性值的類型 51
2.2.11 Bison：詞法單元的位置 52
2.2.12 Bison：二義性與衝突處理 53
2.2.13 Bison：源代碼的調試 55
2.2.14 Bison：錯誤恢復 56
2.2.15 語法分析實踐的額外提示 57
2.3 詞法分析和語法分析的實踐內容 58
2.3.1 實踐要求 58
2.3.2 輸入格式 58
2.3.3 輸出格式 59
2.3.4 驗證環境 59
2.3.5 提交要求 60
2.3.6 樣例（必做部分） 60
2.3.7 樣例（選做部分） 63
2.4 本章小結 67
習題 67
第3章 語義分析 69
3.1 語義分析的理論方法 72
3.1.1 屬性文法 72
3.1.2 基於屬性文法的處理方式 73
3.1.3 S屬性文法和L屬性文法 75
3.1.4 語法制導的定義 76
3.1.5 語法制導的翻譯方案 77
3.1.6 SDT中左遞歸的消除 78
3.1.7 類型檢查 80
3.2 語義分析的實踐技術 82
3.2.1 語義分析實現思想概述 82
3.2.2 符號表的設計與實現 83
3.2.3 支持多層作用域的符號表 85
3.2.4 類型表示 87
3.2.5 語義分析實踐的額外提示 89
3.3 語義分析的實踐內容 89
3.3.1 實踐要求 89
3.3.2 輸入格式 91
3.3.3 輸出格式 91
3.3.4 驗證環境 92
3.3.5 提交要求 92
3.3.6 樣例（必做部分） 92
3.3.7 樣例（選做部分） 98
3.4 本章小結 101
習題 102
第4章 中間代碼生成 105
4.1 中間代碼生成的理論方法 108
4.1.1 運行時環境概要 108
4.1.2 存儲組織與棧幀設計方法 108
4.1.3 中間表示 110
4.1.4 類型與聲明 111
4.1.5 表達式的翻譯 113
4.1.6 控制流與回填 117
4.2 中間代碼生成的實踐技術 122
4.2.1 線形中間表示 122
4.2.2 圖形中間表示 123
4.2.3 運行時環境簡介 123
4.2.4 基本表達式的翻譯模式 124
4.2.5 語句的翻譯模式 125
4.2.6 函數調用的翻譯模式 126
4.2.7 數組和結構體的翻譯模式 127
4.3 中間代碼生成的實踐內容 127
4.3.1 實踐要求 127
4.3.2 輸入格式 130
4.3.3 輸出格式 130
4.3.4 驗證環境 130
4.3.5 提交要求 130
4.3.6 樣例（必做部分） 131
4.3.7 樣例（選做部分） 133
4.4 本章小結 135
習題 136
第5章 目標代碼生成 139
5.1 目標代碼生成的理論方法 142
5.1.1 代碼生成概述 142
5.1.2 指令集架構 145
5.1.3 基本塊與流圖 147
5.1.4 指令選擇算法 150
5.1.5 寄存器分配算法 153
5.1.6 窺孔優化 156
5.1.7 代碼生成器構建 159
5.2 目標代碼生成的實踐技術 162
5.2.1 QtSpim簡介 162
5.2.2 MIPS32彙編代碼簡介 165
5.2.3 指令選擇算法實現 167
5.2.4 樸素寄存器分配算法實現 169
5.2.5 局部寄存器分配算法實現 170
5.2.6 活躍變量分析算法實現 170
5.2.7 圖染色算法實現 171
5.2.8 MIPS寄存器的使用 174
5.2.9 MIPS棧管理 175
5.2.10 目標代碼生成實踐的額外提示 179
5.3 目標代碼生成的實踐內容 180
5.3.1 實踐要求 180
5.3.2 輸入格式 181
5.3.3 輸出格式 181
5.3.4 驗證環境 181
5.3.5 提交要求 181
5.3.6 樣例（必做部分） 182
5.4 本章小結 185
習題 186
…..
|
