123,123,123

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

暫缺《程序設(shè)計(jì)語(yǔ)言理論》作者簡(jiǎn)介

圖書目錄

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