分劃遞推法中泛型約束機(jī)制

目錄
前言
第1章 緒論 1
1.1 研究背景 1
1.2 研究內(nèi)容 2
1.3 本書的組織結(jié)構(gòu) 3
第2章 泛型約束相關(guān)研究 4
2.1 泛型程序設(shè)計 4
2.2 泛型程序設(shè)計及其約束的新定義 4
2.3 函數(shù)式語言泛型約束 5
2.3.1 System F 5
2.3.2 Haskell 98 6
2.3.3 ML 7
2.4 面向?qū)ο笳Z言泛型約束 8
2.4.1 C++模板約束 8
2.4.2 Concepts概念約束 12
2.4.3 Java泛型約束 14
2.4.4 C#泛型約束 17
2.4.5 小結(jié) 19
2.5 泛型程序設(shè)計與面向?qū)ο蟪绦蛟O(shè)計的比較 19
第3章 Apla中的泛型機(jī)制 21
3.1 類型參數(shù)化 21
3.2 操作參數(shù)化 22
3.3 泛型Apla程序結(jié)構(gòu) 22
3.3.1 單類型參數(shù)化 22
3.3.2 多類型參數(shù)化 23
3.4 Apla泛型過程結(jié)構(gòu) 23
3.5 Apla泛型函數(shù)結(jié)構(gòu) 24
3.6 泛型算法示例 25
第4章 泛型約束機(jī)制在Apla中的設(shè)計 29
4.1 操作約束定義 29
4.2 類型約束定義 31
4.2.1 傳統(tǒng)數(shù)據(jù)類型約束 31
4.2.2 標(biāo)準(zhǔn)數(shù)據(jù)類型約束 34
4.2.3 代數(shù)結(jié)構(gòu)泛型約束庫 35
4.3 約束調(diào)用及例化 45
4.3.1 約束調(diào)用 45
4.3.2 約束例化 48
4.4 完整實(shí)例 51
4.4.1 泛型Kleene算法 51
4.4.2 泛型二分搜索算法 56
4.4.3 泛型Bellman-Ford算法 58
4.4.4 泛型極值類算法 59
4.4.5 泛型中綴表達(dá)式求值算法 60
第5章 約束匹配檢測及驗(yàn)證 63
5.1 約束匹配檢測 63
5.2 約束匹配驗(yàn)證 64
5.2.1 實(shí)例操作參數(shù)語義驗(yàn)證 64
5.2.2 實(shí)例類型參數(shù)語義驗(yàn)證 67
5.2.3 約束匹配驗(yàn)證實(shí)例 70
第6章 泛型約束機(jī)制在PAR平臺C++生成系統(tǒng)中的實(shí)現(xiàn) 88
6.1 PAR平臺C++生成系統(tǒng) 88
6.1.1 系統(tǒng)主要功能 88
6.1.2 主要功能模塊 90
6.1.3 系統(tǒng)界面 92
6.1.4 規(guī)則庫 94
6.2 泛型約束機(jī)制在PAR平臺上的實(shí)現(xiàn) 95
6.2.1 形式類型參數(shù)檢測 95
6.2.2 實(shí)例參數(shù)語法檢測 95
6.2.3 實(shí)現(xiàn)實(shí)例 96
第7章 總結(jié) 99
參考文獻(xiàn) 101