程序設(shè)計語言理論

第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)點(diǎn)
　1.4 歸納法
　　1.4.1 表達(dá)式上的歸納
　　1.4.2 證明上的歸納
　　1.4.3 良基歸納
　習(xí)題
第2章 可計算函數(shù)程序設(shè)計語言
　2.1 引言
　2.2 語法
　　2.2.1 概述
　　2.2.2 布爾值和自然數(shù)
　　2.2.3 二元組和函數(shù)
　　2.2.4 聲明和語法美化
　　2.2.5 遞歸函數(shù)和不動點(diǎn)算子
　　2.2.6 語法總結(jié)和例子
　2.3 程序和語義
　　2.3.1 程序和結(jié)果
　　2.3.2 公理語義
　　2.3.3 指稱語義
　　2.3.4 操作語義
　　2.3.5 由各種形式的語義定義的等價關(guān)系
　2.4 歸約和符號解釋器
　　2.4.1 歸約的合流性
　　2.4.2 歸約策略
　　2.4.3 最左歸約和惰性歸約
　　2.4.4 并行歸約
　　2.4.5 急切歸約
　2.5 程序設(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)和項
　　3.2.1 代數(shù)
　　3.2.2 代數(shù)項的語法
　　3.2.3 代數(shù)以及項在代數(shù)中的解釋
　……
第4章 簡單化類型λ演算
第5章 類型化λ演算的模型
第6章 命令式程序
第7章 多態(tài)性
第8章 子定型及有關(guān)概念
第9章 類型推斷
參考文獻(xiàn)