本書的主要內容包括程序設計語言的語法和語義、數據類型和控制結構、面向對象語言、邏輯程序設計語言和函數程序設計語言、以及并行程序設計語言等五個部分,分成十一章。本書使用最簡單的例子介紹上述這些概念。每一章上給出了相應的練習。第一章介紹程序語言的概念、抽象方法、計算機的模式、語言的定義以及語言的翻譯和設計等概念。第二章介紹語言的有效性,語言的一般性、正義性和統一性以及語言的設計標準。第三章介紹程序設計語言的詞法結構、上下文無關語法、BNF和句法圖、句法分析樹和抽象分析樹,語法的二義性、結合性和優(yōu)先性、分析和方法和工具。第四章介紹語言的屬性、聯編和語義等,符號表、存儲分配、表達式的求值,以及程序設計語言形式語義等。第五章介紹數據類型和類型的信息、簡單類型、類型的構造操作,類型的等價、檢查和轉換等。第六章介紹衛(wèi)哨命令和條件、循環(huán)的各種形式、GO-TO的爭論、過程和參數以及例處處理。第七章介紹抽象數據類型的代數規(guī)格說明、具體語言的抽象數據類型、重載和多態(tài)、程序模塊和分塊編譯、抽象數據類型方法中的問題。第八章介紹軟件的重用性和獨立性,對象、類和方法、繼承、動態(tài)聯編,幾種具體的面向對象語言,面向對象語言的設計和實現。第九章介紹程序作為函數、過程式語言中的函數程設設計、具體的函數程序設計語言、函數程序設計的數學方法:遞歸函數和Lamboda演算、函數語言的動態(tài)存儲管理等。第十章介紹邏輯程序、Horn句子、歸結和合一、proing語言、邏輯程序設計中的問題。第十一章介紹并行處理和程序設計語言、偽并行和協同例程、信號量、管理和消息傳遞方法非過程語言的并行方法。