《程序系统的基本概念》求取 ⇩

目录1

序言1

第0章 结构程序1

0.1 日常生活中的系统方法1

0.2 结构程序设计3

0.3 产生结构化程序的方法8

0.4 无GOTO语言11

0.5 为结构程序设计增加的控制结构17

0.6 自顶向下设计中无GOTO语言的使用20

第一章 数据及其表示25

1.1 数系25

1.2 小数的表示28

1.3 各种基中的运算34

1.4 机器字和数的表示37

1.5 定点运算39

1.6 浮点数45

1.7 浮点运算48

1.8 多倍精度运算54

1.9 字符串的表示56

1.10 表示其他各种数据57

第二章 简单计算机65

2.1 计算机概貌65

2.2 主存贮器67

2.3 控制器70

2.4 运算器72

2.5 二级存贮器73

2.6 计算机指令的种类79

2.7 数据传输指令80

2.8 运算指令82

2.9 转移指令85

2.10 输入／输出指令93

2.11 杂指令95

2.12 地址修改—立即寻址和间接寻址96

2.13 用变址作地址修改98

2.14 字符寻址100

2.15 汇编语言102

2.16 我们省略了的某些机器特性108

第三章 数据结构介绍115

3.1 数据结构115

3.2 连接表120

3.3 栈122

3.4 表存贮的制表方法126

3.5 树130

3.6 相联存贮和相联结构134

3.7 对半检索树136

3.8 散布存贮140

第四章 汇编语言和汇编程序156

4.1 汇编过程156

4.2 伪操作157

4.3 简单的汇编程序161

4.4 文字167

4.5 地址表达式170

4.6 当前位置符173

4.7 宏174

4.8 宏汇编程序178

4.9 条件汇编182

第五章 装入程序和连接编辑程序189

5.1 指令的再定位189

5.2 带基寄存器的机器上的装入195

5.3 外部引用199

5.4 子程序连接202

5.5 连接编辑程序的实现205

第六章 基本程序设计语言概念211

6.1 程序设计语言概述211

6.2 标识符及其实现215

6.3 数组219

6.4 静态和动态存贮分配223

6.5 动态存贮分配224

6.6 表达式和运算符229

6.7 表达式的语义232

6.8 语句的语义236

6.9 标识符的连结237

6.10 参数传递242

6.11 形实替换程序248

6.12 连接约定的比较249

第七章 递归与栈式存贮分配259

7.1 栈式存贮分配259

7.2 递归262

7.3 区头向量275

7.4 具有动态连结的栈式存贮分配284

第八章 上下文无关文法289

8.1 递归定义289

8.2 上下文无关文法的定义293

8.3 推导296

8.4 分析树299

8.5 分析树的自底向上构造304

8.6 分析算法307

8.7 构造移位—归约表315

8.8 二义性文法325

8.9 分析二义性文法329

第九章 编译程序333

9.1 编译程序简述333

9.2 词法分析334

9.3 分析和语法制导的翻译336

9.4 代码选择和优化340

9.5 簿记344

9.6 错误校正347

9.8 更多的代码优化349

9.7 各阶段的交互作用349

9.9 语法制导的翻译353

9.10 一些语法制导翻译方案的简单实现370

9.11 一般翻译方案的实现375

9.12 可扩充语言381

第十章 证明程序正确391

10.1 为什么要研究程序验证？391

10.2 归纳断言393

10.3 证明断言394

10.4 证明递归程序的正确性400

10.5 证明终止403

10.6 正确性证明的应用405

参考资料415

附录418