中文名: 程序設計語言概念 (第10版)
原名: Concepts of Programming Languages
作者: Mitchell
Sebesta
圖書分類: 軟件
資源格式: PDF
版本: 掃描版
出版社: Mitchell
Sebesta
書號: 0262133210
發行時間: 2009年
地區: 美國
語言: 英文
簡介:

djvu 閱讀器：
http://windjview.sourceforge.net
內容簡介：
本書提出了一個框架，用於分析程序設計語言的語法、操作和語義性質，該框架基於稱為類型化?演算的數學系統。演算的主要特色是對於函數和其他可計算的值的一種記法，以及一個等式邏輯和用於表達式求值的一組規則。
　　本書中最簡單的系統是稱為泛代數的一個等式系統，它可以用來公理化和分析通常用於程序設計的許多數據類型。更先進的技術機制，諸如邏輯關系的方法、范疇論和遞歸定義類型的語義在中間的幾章中論述。本書最後三章研究多態類型，連帶討論了抽象數據類型的說明形式和程序模塊、類型適應性和類型推理。
　　本書可作為理論計算機科學、軟件系統和數學專業的大學本科高年級或者研究生初始學習階段的教材，同時也適合用於高等研究的技術參考書。
　　本書是為本科高年級和研究生開始階段的學生編寫的。書中利用一系列類型化λ演算系統來研究順序程序語言的公理、操作和指稱語義。後面的章節循序漸進地致力於探索較為復雜的類型系統。
　　與同樣主題的其他書籍相比，本書的特色主要在於它包含研究泛代數和代數數據類型、命令式語言和floyd-hoare邏輯的內容，並包含探討多態與模塊、類型適應性和面向對象概念以及類型推理的高級章節。本書是數學性的，但所含的討論、啟示和舉例使得這些材料對於軟件系統、理論計算機科學或數理邏輯專業的學生是能夠接受的。
　　本書也適用於關注程序設計語言、軟件確認與驗證和程序設計，包括使用軟件模塊和面向對象程序設計的專業工作者們作為參考。
內容截圖：

目錄:
第1章 引言 1.
1.1 模型程序設計語言 1
1.2 λ記法 2
1.3 等式，歸約和語義 4
1.3.1 公理語義 4
1.3.2 操作語義 5
1.3.3 指稱語義 5
1.4 類型和類型系統 6
1.5 記法和數學約定 8
1.6 集合論基礎知識 9
1.6.1 基礎 9
1.6.2 關系和函數 12
1.7 語法和語義 14
1.7.1 目標語言和元語言 14
1.7.2 文法 14
1.7.3 詞法分析和語法分析 15
1.7.4 數學解釋示例 17
1.8 歸納法 18
1.8.1 自然數歸納法 18
1.8.2 表達式和證明上的歸納法 21
等