掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
闖進數學世界――探秘歷史名題
-
>
中醫基礎理論
-
>
當代中國政府與政治(新編21世紀公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材
編譯方法、技術與實踐 版權信息
- ISBN：9787111745310
- 條形碼：9787111745310 ; 978-7-111-74531-0
- 裝幀：平裝-膠訂
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
編譯方法、技術與實踐 本書特色
本書是在計算機領域本科教育教學改革試點工作計劃“編譯原理”課程組的組織下編寫的理論教材之一。本書從理論和實踐兩個方面指導與幫助學生深刻理解編譯器的工作原理。其中，理論方法的教學使得學生能夠理解編譯器運行過程中的核心算法，而實踐技術則幫助學生掌握理論方法及算法在代碼實現層面的設計與編碼要點，*后結合實踐內容對理論方法與實踐技術進行鞏固。本書適合作為高校計算機及相關專業編譯原理課程的教材，也適合作為研發人員了解編譯技術的參考書。
編譯方法、技術與實踐 內容簡介
本書是在教育部計算機領域本科教育教學改革試點工作計劃“編譯原理”課程組的組織下編寫的理論教材之一。本書從理論和實踐兩個方面指導與幫助學生深刻理解編譯器的工作原理。其中，理論方法的教學使得學生能夠理解編譯器運行過程中的核心算法，而實踐技術則幫助學生掌握理論方法及算法在代碼實現層面的設計與編碼要點，*后結合實踐內容對理論方法與實踐技術進行鞏固。
本書適合作為高校計算機及相關專業編譯原理課程的教材，也適合作為研發人員了解編譯技術的參考書。
編譯方法、技術與實踐 目錄
目 錄
出版說明
前言
第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
第6
出版說明
前言
第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
第6
展開全部
編譯方法、技術與實踐 作者簡介
許暢，南京大學計算機科學與技術系教授，“101 計劃”編譯課程建設專家。2008年在香港科技大學獲得博士學位，2010年入選新世紀優秀人才支持計劃，2011年獲得國
家科技進步二等獎，2015年獲得CCF青年科學家獎，2021年入選長江學者獎勵計劃。主持和參與了多項國家和省部級科研項目，包括國家重點研發計劃和自然科學基金重點項目等。研究興趣包括大數據、軟件工程、智能軟件測試與分析，以及自適應與自控軟件系統。發表了180余篇學術論文，工作被包括 TOSEM、TSE、ESEC/FSE、ICSE 和《中國科學》等在內的國內外知名期刊和會議收錄，曾獲 ACM SIGSOFT 杰出論文獎 4 次和國際會議最佳論文獎 3次。服務于 ESEC/FSE、ICSE 和 ASE 等程序委員會，擔任 JSEP、JCST、FCS 和《計算機科學》等期刊
編委。
馮洋，南京大學計算機科學與技術系助理研究員。2019年在加州大學歐文分校獲得博士學位。主要研究方向為復雜軟件系統的質量保障及可信程序設計語言工程技術，研究課題包括大型復雜軟件系統的質量保障問題及可信軟件基礎設施構建與工程技術問題。主持和參與了多項國家和省部級科研項目，包括國家重大專項計劃、自然科學基金面上項目和青年項目。近年來在軟件工程領域的許暢，南京大學計算機科學與技術系教授，“101 計劃”編譯課程建設專家。2008年在香港科技大學獲得博士學位，2010年入選新世紀優秀人才支持計劃，2011年獲得國
家科技進步二等獎，2015年獲得CCF青年科學家獎，2021年入選長江學者獎勵計劃。主持和參與了多項國家和省部級科研項目，包括國家重點研發計劃和自然科學基金重點項目等。研究興趣包括大數據、軟件工程、智能軟件測試與分析，以及自適應與自控軟件系統。發表了180余篇學術論文，工作被包括 TOSEM、TSE、ESEC/FSE、ICSE 和《中國科學》等在內的國內外知名期刊和會議收錄，曾獲 ACM SIGSOFT 杰出論文獎 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余篇，部分成果在華為等知名公司轉化應用。
書友推薦
- >
上帝之肋:男人的真實旅程
- >
李白與唐代文化
- >
有舍有得是人生
- >
回憶愛瑪儂
- >
中國歷史的瞬間
- >
二體千字文
- >
羅庸西南聯大授課錄
- >
羅曼·羅蘭讀書隨筆-精裝
本類暢銷
