一、引论 1
二、基本概念 12
2.1 关系和图 12
2.2 向量的次序 14
2.3 程序模型 18
三、依赖关系 26
3.1 依赖关系的概念 26
3.2 依赖关系问题 34
四、线性函数的边界 43
4.1 引言 43
4.2 矩形中的边界 47
4.3 梯形中的边界 51
5.1 引言 61
五、线性丢番图方程 61
5.2 最大公约数 62
5.3 二元方程 64
5.4 多元方程 69
5.5 方程组 77
第五章 附录矩阵理论的一些概念 83
六、依赖关系测试 91
6.1 引言 91
6.2 一维数组，单层循环 92
6.3 一维数组 100
6.4 一般情形 121
6.5 综合评述 128
参考文献 135
译后记 140