程序設計語言理論

內容概要

本書給出分析程序設計語言語法性質、操作性質和語義性質的一個框架，該框架基于λ演算系統(tǒng)。全書圍繞著λ演算的一個序列來組織，該序列中λ演算的類型系統(tǒng)依次變得越來越復雜，這些λ演算用來分析和討論相應的程序設計語言概念，如多態(tài)性、抽象數據類型、子類型等。以類型系統(tǒng)為中心對程序設計語言進行的這種研究，在軟件工程、語言設計、高性能編譯器、計算機和網絡安全等方面有著重要應用。    本書可作為高等院校計算機科學及相關專業(yè)的研究生教材，也可供計算機軟件工程高級技術人員參考。

書籍目錄

第1章 引言　1.1 基本概念　　1.1.1 模型語言　　1.1.2 九表示法　　1.1.3 記號和約定　1.2 等式、歸約和語義　　1.2.1 公理語義　　1.2.2 操作語義　　1.2.3 指稱語義　1.3 類型和類型系統(tǒng)　　1.3.1 類型和類型系統(tǒng)　　1.3.2 類型語言的優(yōu)點　1.4 歸納法　　1.4.1 表達式上的歸納　　1.4.2 證明上的歸納　　1.4.3 良基歸納　習題第2章 可計算函數程序設計語言　2.1 引言　2.2 語法　　2.2.1 概述　　2.2.2 布爾值和自然數　　2.2.3 二元組和函數　　2.2.4 聲明和語法美化　　2.2.5 遞歸函數和不動點算子　　2.2.6 語法總結和例子　2.3 程序和語義　　2.3.1 程序和結果　　2.3.2 公理語義　　2.3.3 指稱語義　　2.3.4 操作語義　　2.3.5 由各種形式的語義定義的等價關系　2.4 歸約和符號解釋器　　2.4.1 歸約的合流性　　2.4.2 歸約策略　　2.4.3 最左歸約和惰性歸約　　2.4.4 并行歸約　　2.4.5 急切歸約　2.5 程序設計實例、表達能力和局限　　2.5.1 記錄和n元組　　2.5.2 查找自然數　　2.5.3 迭代和尾遞歸　　2.5.4 完全遞歸函數　　2.5.5 部分遞歸函數　　2.5.6 并行運算的不可定義性　2.6 衍生和擴充　　2.6.1 單元類型與和類型　　2.6.2 遞歸類型　習題第3章 泛代數和代數數據類型　3.1 引言　3.2 代數、基調和項　　3.2.1 代數　　3.2.2 代數項的語法　　3.2.3 代數以及項在代數中的解釋　……第4章 簡單化類型λ演算第5章 類型化λ演算的模型第6章 命令式程序第7章 多態(tài)性第8章 子定型及有關概念第9章 類型推斷參考文獻

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    程序設計語言理論 PDF格式下載

---