本書第1版自1999年出版以來，程式語言的研究已得到迅猛發展。為此，新版儘量貼近現今的發展趨勢，以適應當前和未來程式語言設計過程中所伴隨的新挑戰。
基本介紹
內容提要,作者簡介,目錄,
內容提要
本書除了進一步提高了4種程式設計范型及其所用的語言的廣度和深度外，還大大豐富了關於語言設計原理的內容，並新增了如Python、Perl這類程式語言的例子。本書主要結構第一部分：原理。第2、4、5、7、9章分別講述了程式語言的5個核心原理(語法、名稱、類型、語義和函式)。第3、6、8、10、11章加深對這些主題的闡述。第二部分：范型。包含4個主要的程式范型。其中，第12章是全新內容，主要講解了在C、Ada和Perl這3種不同的語言中命令式編程的關鍵特點。第13章在第1版的基礎上進行了較多的改寫，主要使用Java、Smalltalk和Python來研究面向對象語言的特點。第14章和第15章分別對函式式編程和邏輯式編程進行了區分。第三部分：專題。第16章和第17章主要講解事件處理和並發性。第18章具體闡述了正確性的相關內容。在學習本書之前，讀者應該具備數據結構方面的知識，熟悉Java、C、C++或C#等程式語言，最好還能了解一下初等離散數學和離散結構課程。本書所涉及的軟體都可在Java1．5或更高版本中運行。
作者簡介
AllenB.Tucker是Bowdoin等院計算機科學系的教授，曾獲得了Wesleyan大學的數學學士學位，Northwestern大學的計算機科學碩士和博士學位。
Tucker教授已出版了有關程式語言、軟體設計、自然語言處理和課程設計等方面的專著。他是烏克蘭TernopilAcademyofNationalEconomy的Fulbright講席教授，紐西蘭Canter-bury大學的Erskine訪問學者和法國Esigelec大學的訪問學者，還是ACM的會員。
目錄
第1章概論
1.1原理
1.2範例
1.3專題
1.4程式語言發展簡史
1.5關於語言設計
1.6編譯器和虛擬機
1.7小結
1.8練習
第2章語法
2.1文法
2.2BNF擴展
2.3小語言CLITE的語法
2.4編譯器和解釋器
2.5語法和語義學連結
2.6小結
2.7練習
第3章詞法和語法分析
3.1Chomsky層次結構
3.2詞法分析
3.3語法分析
3.4小結
3.5練習
第4章命名
第5章類型
第6章類型系統
第7章語義
第8章語義解釋
第9章函式
第10章函式實現
第11章記憶體管理
第12章命令式編程
第13章面向對象編程
第14章函式式編程
第15章邏輯式編程
第16章事件驅動編程
第17章並發編程
第18章程式的正確性
附錄AClite的定義
附錄B離散數學回顧
……
……
