《结构化程序设计和DITSF语言》

目录1

第一章　绪论1

1.1　计算机硬件与软件1

1.2　程序设计概念的发展2

1.3　结构化程序设计的概念3

第二章　FORTRAN语言6

2.1 引言6

2.1.1　计算机存贮信息的单位6

2.1.2　FORTRAN语句分类及程序结构7

2.2　常数、变量、类型说明语句、数组和标准函数15

2.3　输入／输出语句23

2.4　表达式40

2.5　基本语句47

2.6　子程序56

第三章　结构化程序74

3.1　形式逻辑74

3.2　文法和语言79

3.3　程序展开与结构化程序82

3.4　有关程序结构的两项基本原则90

3.5　模块化程序设计92

第四章 结构化程序设计语言——DITSF96

4.1　DITSF语言的字符集96

4.2　DITSF语言中采用的关键字97

4.3　DITSF语言的书写规则98

4.4　六种控制语句99

4.5　文字标号112

4.6　″SECTION″型说明及其调用和递归调用115

4.7 自由格式数据输入语句SCAIN119

4.8　文件管理系统JINEGS132

第五章　DITSF语言的翻译公式147

5.1　″IF″语句的翻译147

5.2　″CASE″语句的翻译148

5.6　″FOR″语句的翻译149

5.5　″WHILE″语句的翻译149

5.3　″LOOP″语句的翻译149

5.4　″DO″语句的翻译149

5.7　文字标号的翻译151

5.8　″PERFORM″语句的翻译154

5.9　″SECTION″...″ENDSECT″型结构的翻译154

第六章　关于DITSF语言翻译程序DITSFTR的设计与实现156

第七章　DITSF语言的应用举例174

7.1　矩阵乘法子程序174

7.2　排序子程序180

7.3　辛普生法（定步长）求一元实函数的定积分子程序184

7.4　求一元实函数f（x）零点的二分法子程序185

7.5　高斯-塞德尔迭代法求解线性代数方程组子程序187

7.6　二次插值子程序188

7.7　用消去法求矩阵的逆阵和行列式值的子程序190

7.8　用雅可比方法求解对称矩阵特征值和特征向量子程序192

7.9　利用SUMT内点法-DFP变度法求函数极小值子程序194

7.10　求PERT图判别路径的一个实用程序201

第八章　DITSF语言在不同类型计算机上的实现和使用方法214

8.1　装机概况214

8.2　关于和机器编码有关信息的处理214

8.3　DITSFTR和机器文件管理系统的接口218

8.4　DITSF语言在不同类型计算机上的使用方法231

第九章　结构化程序正确性证明简介234

9.1　程序正确性证明的基本概念234

9.2　最弱前置条件236

9.3　赋值语句的正确性证明236

9.4　″IF″语句的正确性证明237

9.5　″WHILE″语句的正确性证明239

附录1　内部函数表253

附录2　基本外部函数表254

附录3　DITSF语法错误对照表255

参考文献256