函數(shù)程序設(shè)計(jì)語(yǔ)言：計(jì)算模型 編譯技術(shù) 系統(tǒng)結(jié)構(gòu)

     目錄
   第1章 引論
    1.1 函數(shù)式程序設(shè)計(jì)語(yǔ)言
    1.1.1 APL語(yǔ)言
    1.1.2 FP語(yǔ)言
    1.1.3 ML語(yǔ)言
    1.1.4 Lisp語(yǔ)言
    1.1.5 SASL，KRC和Miranda語(yǔ)言
    1.1.6 Haskel1語(yǔ)言
    1.1.7 其它的函數(shù)語(yǔ)言
    1.2 函數(shù)語(yǔ)言的基本特征和實(shí)現(xiàn)論題
    1.2.1 函數(shù)語(yǔ)言的基本特征
    1.2.2 程序的執(zhí)行效率
    1.2.3 主要實(shí)現(xiàn)論題
    1.3 函數(shù)語(yǔ)言的圖重寫實(shí)現(xiàn)技術(shù)
    1.4 本章小結(jié)
   第2章 函數(shù)式程序設(shè)計(jì)語(yǔ)言
    2.1 函數(shù)語(yǔ)言的特點(diǎn)
    2.1.1 變量名和值
    2.1.2 執(zhí)行順序
    2.1.3 循環(huán)和遞歸
    2.1.4 數(shù)據(jù)結(jié)構(gòu)
    2.1.5 函數(shù)作為值
    2.2 ML語(yǔ)言簡(jiǎn)介
    2.2.1 ML的特點(diǎn)
    2.2.2 類型
    2.2.3 幾點(diǎn)說(shuō)明
    2.3 SML標(biāo)準(zhǔn)類型
    2.3.1 基本類型
    2.3.2 表類型
    2.3.3 元組類型
    2.3.4 函數(shù)的類型和表達(dá)式
    2.4 sML標(biāo)準(zhǔn)函數(shù)
    2.4.1 標(biāo)準(zhǔn)布爾型函數(shù)
    2.4.2 標(biāo)準(zhǔn)算術(shù)運(yùn)算函數(shù)和運(yùn)算符的重載
    2.4.3 標(biāo)準(zhǔn)字符串函數(shù)
    2.4.4 標(biāo)準(zhǔn)表函數(shù)
    2.4.5 字符、字符串和表
    2.4.6 比較運(yùn)算符
    2.5 SML函數(shù)定義
    2.5.1 函數(shù)
    2.5.2 約束變量的類型
    2.5.3 定義
    2.5.4 條件表達(dá)式
    2.5.5 遞歸和函數(shù)定義
    2.5.6 訪問(wèn)元組約束變量中的元素
    2.5.7 模式匹配
    2.5.8 局部定義
    2.6 SML類型
    2.6.1 類型表達(dá)式和類型縮寫（abbreviatedtypes）
    2.6.2 類型變量和多態(tài)性
    2.6.3 定義新類型
    2.6.4 抽象數(shù)據(jù)類型
    2.6.5 樹
    2.7 本章小結(jié)
   第3章 λ演算
    3.1 λ演算的基本概念和定義
    3.2 λ演算的歸約
    3.3 遞歸定義
    3.4 純?chǔ)搜菟阒械乃阈g(shù)
    3.5 本章小結(jié)
   第4章 函數(shù)語(yǔ)言的歸約計(jì)算方法
    4.1 歸約計(jì)算的語(yǔ)義
    4.2 正規(guī)序歸約的語(yǔ)用
    4.2.1 串歸約（stringreduction）
    4.2.2 標(biāo)準(zhǔn)環(huán)境歸約（standardenvironmentreduction）
    4.2.3 圖歸約（graphreducti0n）
    4.2.4 全惰性圖歸約（fulllazygraphreduction）
    4.2.5 惰性圖歸約（1azygraphreduction）
    4.2.6 圖歸約的特點(diǎn)
    4.3 組合子圖歸約（c0mbinator－basedgraphreduction）
    4.3.1 基本思想
    4.3.2 組合子及其性質(zhì)
    4.3.3 超組合子性質(zhì)
    4.4 本章小結(jié)
   第5章 函數(shù)語(yǔ)言的圖重寫計(jì)算模型
    5.1 計(jì)算對(duì)象的描述形式
    5.2 計(jì)算的操作方式
    5.3 計(jì)算的控制方式
    5.3.1 并行性開發(fā)策略
    5.3.2 并行計(jì)算的控制管理方法
    5.3.3 并行計(jì)算任務(wù)的粒度（granularity）
    5.4 本章小結(jié)
   第6章 編譯中間語(yǔ)言
    6.1 中間語(yǔ)言的基本概念
    6.2 CIL程序的基本描述形式
    6.3 CIL程序例子
    6.4 CIL程序執(zhí)行算法
    6.5 CIL語(yǔ)言對(duì)函數(shù)式程序的支持
    6.5.1 TermL模式結(jié)構(gòu)的轉(zhuǎn)換
    6.5.2 非平坦TermL的轉(zhuǎn)換
    6.5.3 標(biāo)記TermR
    6.6 本章小結(jié)
   第7章 多態(tài)類型及類型檢查
    7.1 多態(tài)類型
    7.2 程序的表示
    7.3 類型推導(dǎo)與類型合一
    7.4 類型變量與環(huán)境
    7.5 類型推導(dǎo)算法
    7.5.1 類型推導(dǎo)算法中用到的函數(shù)
    7.5.2 類型推導(dǎo)算法
    7.6 本章小結(jié)
   第8章 自由變量的消除與優(yōu)化組合子
    8.1 λ－提升
    8.1.1 λ－提升方法
    8.1.2 λ－提升方法的評(píng)價(jià)
    8.2 最大自由表達(dá)式（mfe）抽取
    8.2.1 mfe抽取算法
    8.2.2 最大自由表達(dá)式抽取方法的分析
    8.3 函數(shù)部分作用共享分析
    8.3.1 部分作用的共享及其表示
    8.3.2 共享分析方法
    8.4 優(yōu)化組合子生成方法
    8.5 本章小結(jié)
   第9章 惰性模式匹配及其編譯方法
    9.1 模式與模式匹配
    9.2 最小擴(kuò)展模式與模式匹配樹
    9.2.1 模式匹配謂詞及其性質(zhì)
    9.2.2 惰性模式匹配算法的存在性與最小擴(kuò)展模式
    9.2.3 MEPⅡ的生成和匹配樹的構(gòu)造
    9.3 模式的平坦化和參量一致化變換
    9.3.1 兩個(gè)簡(jiǎn)單的轉(zhuǎn)換方法及其效率
    9.3.2 重寫規(guī)則的生成方法
    9.4 本章小結(jié)
   第10章 惰性函數(shù)語(yǔ)言程序嚴(yán)格性分析方法
    10.1 抽象解釋和嚴(yán)格性分析方法
    10.1.1 基于抽象解釋的嚴(yán)格性分析方法
    10.1.2 嚴(yán)格性分析與函數(shù)程序的并行性開發(fā)
    10.1.3 惰性計(jì)算方式和結(jié)構(gòu)數(shù)據(jù)的計(jì)算
    10.2 投影分析分析方法
    10.2.1 投影和計(jì)算的描述
    10.2.2 基于投影分析的嚴(yán)格性分析方法
    10.2.3 舉例
    10.3 并行性開發(fā)方法的優(yōu)化
    10.3.1 算子
    10.3.2 并行性開發(fā)方法
    10.4 本章小結(jié)
   第11章 編譯時(shí)粒度分析及估算方法
    11.1 現(xiàn)狀與問(wèn)題
    11.2 K0zen語(yǔ)義與分布函數(shù)
    11.3 分布函數(shù)與程序粒度的關(guān)系
    11.4 程序粒度分析的系統(tǒng)化方法
    11.5 細(xì)粒度任務(wù)的收攏（coalescing）原理
    11.6 任務(wù)顆粒的分類及合并
    11.7 引入啟發(fā)因素的編譯時(shí)粒度分析算法HCGA
    11.8 實(shí)驗(yàn)及與相關(guān)工作的比較
    11.9 本章小結(jié)
   第12章 存儲(chǔ)管理及垃圾單元回收
    12.1 概述
    12.2 Ash0ke的改進(jìn)引用計(jì)數(shù)法
    12.2.1 Ashoke算法
    12.2.2 Ashoke算法的正確性證明
    12.2.3 并行環(huán)境中的Ash0ke算法實(shí)現(xiàn)
    12.3 基于引用計(jì)數(shù)的垃圾回收技術(shù)
    12.3.1 經(jīng)典的引用計(jì)數(shù)法
    12.3.2 ARVIND/THOMAS的帶權(quán)引用計(jì)數(shù)法
    12.3.3 垃圾單元回收的惰性方法
    12.3.4 帶權(quán)的垃圾單元惰性回收方法
    12.4 FL/TBD/TBC/CRC與CM分立的垃圾回收開銷分析
    12.5 FL/TBD/TBC/CRC與CM混合的垃圾回收開銷分析
    12.6 并行系統(tǒng)中的垃圾單元回收
    12.7 本章小結(jié)
   第13章 多相并行圖重寫執(zhí)行模型HPGREM
    13.1 并行執(zhí)行模型的研究現(xiàn)狀
    13.2 HPGREM的形式化描述
    13.2.1 基本定義
    13.2.2 形式化描述
    13.3 存儲(chǔ)管理及執(zhí)行環(huán)境組織
    13.4 并行性開發(fā)策略
    13.4.1 并行性開發(fā)
    13.4.2 任務(wù)分布的Lazy－Eager原理
    13.4.3 基于LEDT原理的任務(wù)分布算法
    13.5 并行執(zhí)行模型HPGREM的多相性質(zhì)
    13.6 本章小結(jié)
   第14章 并行抽象機(jī)PAM/TGR及體系結(jié)構(gòu)
    14.1 概述
    14.2 存儲(chǔ)器組織及數(shù)據(jù)表示
    14.2.1 存儲(chǔ)器組織
    14.2.2 圖結(jié)點(diǎn)及數(shù)據(jù)表示
    14.3 并行抽象機(jī)PAM/TGR的指令系統(tǒng)
    14.3.1 并行抽象機(jī)指令集
    14.3.2 抽象機(jī)的尋址方式
    14.3.3 并行抽象機(jī)PAM/TGR的優(yōu)化編譯器
    14.4 并行抽象機(jī)的指令執(zhí)行算法
    14.4.1 環(huán)境生成指令（push）執(zhí)行算法
    14.4.2 環(huán)境拷貝指令（copy）執(zhí)行算法
    14.4.3 重寫指令（grew）執(zhí)行算法
    14.4.4 重寫任務(wù)的管理指令（take，mask，sndt，recy）執(zhí)行算法
    14.4.5 調(diào)用基元操作與存儲(chǔ)管理指令（call，flsh）執(zhí)行算法
    14.5 并行抽象機(jī)PAM/TGR的體系結(jié)構(gòu)
    14.6 并行抽象機(jī)PAM/TGR的性能評(píng)價(jià)
    14.6.1 基于Benchmark的PAM/TGR性能測(cè)試
    14.6.2 與相關(guān)系統(tǒng)的性能比較
    14.7 本章小結(jié)
    參考文獻(xiàn)