第一章 引论 1
巨型计算机的兴起 1
巨型计算机与向量计算机 3
向量计算机的向量机制 5
在程序设计语言中的体现 6
向计算机科学理论提出的新课题 7
向量化理论的基本内容 9
显数据依赖关系识别能力概览 10
向量化理论的用途 14
第二章 向量高级语言VFORTRAN 17
简单数组对象 17
数组表达式 19
数组赋值 21
标量扩张与置界语句 23
数组片断 26
含有数组片断的数组表达式 29
条件数组赋值 32
数组用作过程参数与数组结构询问函数 35
第三章 下标追踪法的基本理论 39
可向量化的精确描述 39
限制条件 41
时序层次 44
年长顺序定理 47
可向量化判别准则 51
第四章 下标追踪法的工程化 56
循环体的最简形式 56
层次片断定理 59
计算实例 62
A1型赋值语句循环 67
A型赋值语句循环 71
一般的赋值语句循环 75
实现算法 80
第五章 强化定理 88
数据依赖关系的不确定因素 88
时序层次的抽象表示 91
不确定性引起的数据依赖关系的变化 94
循环中的偏序 99
强化定理 103
在赋值语句循环中的应用 106
在赋值语句循环中的应用(续) 111
第六章 IF语句的向量化 116
I0型循环 116
闭合定理和判别定理 120
再识别技术 125
再改写技术 137
向量化目标程序的优化 145
I1型循环 152
第七章 三叉控制转移的程序变换 159
三叉控制转移的表达形式 159
程序变换应满足的集合方程 162
〈t1,t2,m,t3,n〉型组合方式的嵌入载体 165
〈t1,t2,t3,m,n〉型组合方式的嵌入载体 170
〈t1,t2,t3,n,m〉型组合方式的嵌入载体 175
程序变换目标程序的优化 180
退化情形 190
G型循环 194
实现算法 202
一个综合性实例 213
第八章 离散层次 217
离散层次的概念 217
具有离散层次的A型循环的可向量化性质 222
向I0型循环的拓广 223
时序层次离散性的判别方法 226
一个简单的具有离散层次的循环类 232
下标表达式单调变化的循环类 235
反原形与拟离散性 241
第九章 简洁循环与冗余循环 249
简洁循环与冗余循环的概念 249
A型简洁循环与A型冗余循环 251
同态定理 253
向I0型循环的拓广 258
向I1型和G型循环的拓广 263
第十章 向多重循环的拓广 265
多重循环的最内层循环 265
多重A型循环 268
多重层次片断定理 272
多重I0型循环 275
多重I1型和G型循环 282
多重循环的数组化 285
参考文献 290