结构化程序设计

来自计算思维百科
跳转至: 导航搜索

结构化程序设计(Structured Programming)从1960年代开始发展,基本上可以认为是命令式程序设计的一个分支。1966年5月,意大利计算机学家科拉多·鲍姆(Corrado Böhm)和朱塞佩·贾可皮尼(Giuseppe Jacopini)在著名的《ACM通讯》(Communications of the ACM)上发表论文“Flow diagrams, turing machines and languages with only two formation rules”,认为任何一个包含goto语句的程序都可以改为完全不使用goto语句的程序。随后,荷兰计算机学家迪杰斯特拉(Edsger Wybe Dijkstra)(图 1)1968年3月在《ACM通讯》上发表了著名的论文“Go To Statement Considered Harmful”,认为应该禁止goto语言的使用。这两篇论文的发表,代表了结构化程序设计的开端。

10.3.1.png

图1 艾兹格·迪杰斯特拉(Edsger Wybe Dijkstra) (来源于维基百科)

结构化程序设计强调使用子程序、程序块和包括for循环等在内的控制语句来规划程序的结构,并强调应该尽量少地使用goto语句。其核心思想可以用结构化程序定理来概括。