程序設計語言與編譯：語言的設計和實現（第3版）（簡體書）

本書為“普通高等教育‘十一五’國家級規劃教材”，是一本計算機專業的寬口徑教材，新版覆蓋CC2001和CCC2002教程中，除自動機外編程語言（PL）模塊的全部知識點。內容涉及語言及其編譯系統的設計要素、設計思想、設計方法、設計技術和設計風格等知識，全書分為上、下篇。上篇，程序設計語言的設計包括：緒論、數據類型、控制結構、程序語言設計、非過程式程序設計語言和形式語義學簡介；下篇，程序設計語言的實現（編譯）包括：編譯概述、詞法分析、自上而下的語法分析、自下而上的語法分析、語義分析和中間代碼生成、代碼優化和目標代碼生成、運行時存儲空間的組織。 本書的學習目標是，使讀者掌握設計和實現一個程序設計語言的基本思想和方法，具有分析、鑒賞、評價、選擇、學習、設計和實現一個語言的基本能力。本書力求簡明、通俗，注重可讀性，是大學計算機科學和軟件工程等專業高級程序設計語言概論及編譯技術課程教材，也是軟件開發人員的學習參考書。

上篇 程序設計語言的設計
　第1章　緒論
1.1　引言
1.2　強制式語言
1.2.1　程序設計語言的分類
1.2.2　馮·諾依曼體系結構
1.2.3　綁定和綁定時間
1.2.4　變量
1.2.5　虛擬機
1.3　程序單元
1.4　程序設計語言發展簡介
1.4.1　早期的高級語言
1.4.2　早期語言的發展階段
1.4.3　概念的集成階段
1.4.4　再一次突破
1.4.5　大量的探索
1.4.6　Ada語言
1.4.7　第四代語言
1.4.8　網絡時代的語言
1.4.9　新一代程序設計語言
1.4.10　面向未來的漢語程序設計語言
1.4.11　總結
習題1
　第2章　數據類型
2.1　引言
2.2　內部類型
2.3　用戶定義類型
2.3.1　笛卡兒積
2.3.2　有限映像
2.3.3　序列
2.3.4　遞歸
2.3.5　判定或
2.3.6　冪集
2.4　Pascal語言數據類型結構
2.4.1　非結構類型
2.4.2　聚合構造
2.4.3　指針
2.5　Ada語言數據類型結構
2.5.1　標量類型
2.5.2　組合類型
2.6　C語言數據類型結構
2.6.1　非結構類型
2.6.2　聚合構造
2.6.3　指針
2.6.4　空類型
2.7　Java語言的數據類型
2.7.1　內部類型
2.7.2　用戶定義類型
2.8　抽象數據類型
2.8.1 SIMuLA 67語言的類機制
2.8.2 CLU語言的抽象數據類型
2.8.3 Ada語言的抽象數據類型
2.8.4 Modula 2語言的抽象數據類型
2.8.5 c++語言的抽象數據類型
2.8.6 Java抽象數據類型
2.9　類型檢查
2.10　類型轉換
2.11　類型等價
2.12　實現模型
2.12.1 內部類型和用戶定義的非結構類型實現模型
2.12.2　結構類型實現模型
習題2
　第3章　控制結構
3.1　引言
3.2　語句級控制結構
3.2.1　順序結構
3.2.2　選擇結構
3.2.3　循環結構
3.2.4　語句級控制結構分析
3.2.5　用戶定義控制結構
3.3　單元級控制結構
3.3.1　顯式調用從屬單元
3.3.2　隱式調用單元——異常處理
3.3.3　SIMULA 67語言協同程序
3.3.4　并發單元
……
　第4章　程序語言的設計
　第5章　非過程式程序設計語言
　第6章　形式語義學簡介
下篇　程序設計語言的實現（編譯）
　第7章　編譯概述
　第8章　詞法分析
　第9章　自上而下的語法分析
　第10章　自下而上的語法分析
　第11章　語義分析和中國代碼生成
　第12章　代碼優化和目標代碼生成　
　第13章　運行時存儲空間的組織
附錄A　形式語言與自動機簡介