【算法语言与程序开发】F.L.包尔H.韦斯纳肖尔江译国防工业.pdf
算法语言与程序开发 [联邦德国]F.L.包尔H.韦斯纳著 肖尔江译 梁业伟校 國防李版社一
原序 的特色,而是它们的共同之处。看起来,展示这种统一性的理想线索,就是形式化的程 序开发步骤。以此为据,便能区分概念,鉴别哪些是基本观念,哪些不过是记法特色,从而立即作出系统化的处置。采取这种办法,是以教学、实践、理论三方面的考虑为依 据的。根据程序变换原理设计出来的,其结构尤为清晰,非同寻常.当然,这样的语言会有种种不同的记法。本书使用的记法主要参照ALGOL68,它 也深受PASCAL的影响,但是别的道路也未尝不可。至于ALGOL、PASCAL、LISP 以及其他语言所用的文体,我们在各章的附录中也略作指点。
目录 1利用抽象和嵌入的结构化0 算法的语源 1段和隐参数1对象申述0 1结果参数和落实戒律 0作为演化过程的序 第1章 例行程序1函数的层次构造 第2章 对象和对象结构1本原例行程字和计算结构 2 标记 1代换原理 2.