摘要: 大约十年以后,在诸如结构程序设计,规格说明,验证和语言设计各方面的进展将使程序设计变成一门真正的工程学科。＊＊＊程序设计语言,和围绕着程序设计语言的研究代表了在计算机科学里一些不太难于理解的东西。一方面,尽管前途光明,但却很难证明最新的语言—20年来研究的结果—已经对软件问题产生了重要的影响。确实,存在着证据一大部分程序本文使用非常简单的结构。因此我们可以推断,由于很少使用较新的“功能更强”的语言功能,所以也不可能对实际程序设计产生重要的影响。另一个证据