注冊(cè) | 登錄讀書(shū)好,好讀書(shū),讀好書(shū)!
讀書(shū)網(wǎng)-DuShu.com
當(dāng)前位置: 首頁(yè)出版圖書(shū)科學(xué)技術(shù)計(jì)算機(jī)/網(wǎng)絡(luò)計(jì)算機(jī)科學(xué)理論與基礎(chǔ)知識(shí)分劃遞推法中泛型約束機(jī)制

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

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

定 價(jià):¥98.00

作 者: 左正康,王昌晶
出版社: 科學(xué)出版社
叢編項(xiàng):
標(biāo) 簽: 暫缺

購(gòu)買(mǎi)這本書(shū)可以去


ISBN: 9787030710727 出版時(shí)間: 2022-08-01 包裝: 平裝
開(kāi)本: 16開(kāi) 頁(yè)數(shù): 字?jǐn)?shù):  

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

  《分劃遞推法中泛型約束機(jī)制》是作者在泛型程序設(shè)計(jì)領(lǐng)域多年研究的結(jié)晶,通過(guò)研究分劃遞推法中泛型約束機(jī)制的設(shè)計(jì)與實(shí)現(xiàn),向讀者展現(xiàn)泛型約束機(jī)制可解決一系列復(fù)雜泛型約束問(wèn)題。讀者閱讀《分劃遞推法中泛型約束機(jī)制》之后,既可對(duì)泛型程序設(shè)計(jì)有更深入的了解,也可參考《分劃遞推法中泛型約束機(jī)制》提供的方法解決實(shí)際程序設(shè)計(jì)中可能會(huì)遇到的一些難題。

作者簡(jiǎn)介

暫缺《分劃遞推法中泛型約束機(jī)制》作者簡(jiǎn)介

圖書(shū)目錄

目錄
前言
第1章 緒論 1
1.1 研究背景 1
1.2 研究?jī)?nèi)容 2
1.3 本書(shū)的組織結(jié)構(gòu) 3
第2章 泛型約束相關(guān)研究 4
2.1 泛型程序設(shè)計(jì) 4
2.2 泛型程序設(shè)計(jì)及其約束的新定義 4
2.3 函數(shù)式語(yǔ)言泛型約束 5
2.3.1 System F 5
2.3.2 Haskell 98 6
2.3.3 ML 7
2.4 面向?qū)ο笳Z(yǔ)言泛型約束 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è)計(jì)與面向?qū)ο蟪绦蛟O(shè)計(jì)的比較 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泛型過(guò)程結(jié)構(gòu) 23
3.5 Apla泛型函數(shù)結(jié)構(gòu) 24
3.6 泛型算法示例 25
第4章 泛型約束機(jī)制在Apla中的設(shè)計(jì) 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)泛型約束庫(kù) 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章 約束匹配檢測(cè)及驗(yàn)證 63
5.1 約束匹配檢測(cè) 63
5.2 約束匹配驗(yàn)證 64
5.2.1 實(shí)例操作參數(shù)語(yǔ)義驗(yàn)證 64
5.2.2 實(shí)例類型參數(shù)語(yǔ)義驗(yàn)證 67
5.2.3 約束匹配驗(yàn)證實(shí)例 70
第6章 泛型約束機(jī)制在PAR平臺(tái)C++生成系統(tǒng)中的實(shí)現(xiàn) 88
6.1 PAR平臺(tái)C++生成系統(tǒng) 88
6.1.1 系統(tǒng)主要功能 88
6.1.2 主要功能模塊 90
6.1.3 系統(tǒng)界面 92
6.1.4 規(guī)則庫(kù) 94
6.2 泛型約束機(jī)制在PAR平臺(tái)上的實(shí)現(xiàn) 95
6.2.1 形式類型參數(shù)檢測(cè) 95
6.2.2 實(shí)例參數(shù)語(yǔ)法檢測(cè) 95
6.2.3 實(shí)現(xiàn)實(shí)例 96
第7章 總結(jié) 99
參考文獻(xiàn) 101

本目錄推薦

掃描二維碼
Copyright ? 讀書(shū)網(wǎng) m.ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)