程序設(shè)計語言理論基礎(chǔ)

內(nèi)容概要

本書提出了一個框架，用于分析程序設(shè)計語言的語法、操作和語義性質(zhì)，該框架基于稱為類型化λ演算的數(shù)學(xué)系統(tǒng)。λ演算的主要特色是對于函數(shù)和其他可計算的值的一種記法，以及一個等式邏輯和用于表達(dá)式求值的一組規(guī)則。     本書中最簡單的系統(tǒng)是稱為泛代數(shù)的一個等式系統(tǒng)，它可以用來公理化和分析通常用于程序設(shè)計的許多數(shù)據(jù)類型。更先進(jìn)的技術(shù)機制，諸如邏輯關(guān)系的方法、范疇論和遞歸定義類型的語義在中間的幾章論述。本書最后三章研究多態(tài)類型，連帶討論了抽象數(shù)據(jù)類型的說明形式和程序模塊、類型適應(yīng)性和類型推理。     本書可作為理論計算機科學(xué)、軟件系統(tǒng)和數(shù)學(xué)專業(yè)的大學(xué)本科高年級或者研究生初始學(xué)習(xí)階段的教材，同時也適合用于高等研究的技術(shù)參考書。

書籍目錄

第1章 引言  1.1 模型程序設(shè)計語言  1.2 λ記法  1.3 等式，歸納和語義  1.4 類型和類型系統(tǒng)  1.5 記法和數(shù)學(xué)約定  1.6 集合論基礎(chǔ)知識  1.7 語法和語義  1.8 歸納法第2章 PCF語言   2.1 引言  2.2 PCF語法  2.3 PCF程序及其語義  2.4 PCF歸納和符號解釋程序  2.5 PCF編程樣例，表達(dá)能和限度  2.6 PCF的變體和擴展第3章 泛代數(shù)及代數(shù)數(shù)據(jù)類型  3.1 引言  3.2 代數(shù)規(guī)范概述  3.3 代數(shù)，基調(diào)和項  3.4 等式，可靠性和完備性  3.5 同態(tài)和始代數(shù)  3.6 代數(shù)數(shù)據(jù)類型  3.7 重寫系統(tǒng)第4章 簡單類型化λ演算  4.1 引言  4.2 類型  4.3 項  4.4 證明系統(tǒng)  4.5 Henkin模型，可靠性和完備性 第5章 類型化λ演算模型  5.1 引言 5.2 域論模型和不動點  5.3 不動點歸納  5.4 計算適當(dāng)性和完全抽象  5.5 遞歸理論模型  5.6 部分等價關(guān)系和遞歸第6章 命令式程序  6.1 引言  6.2 while程序  6.3 操作語義  6.4 指稱語義……第7章 范疇和遞歸類型第8章 邏輯關(guān)系第9章 多態(tài)與模塊性第10章 類型適應(yīng)性和相關(guān)概念第11章 類型推理參考文獻(xiàn)

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    程序設(shè)計語言理論基礎(chǔ) PDF格式下載

---