论据 1966年, Boehm和 Jacobin证明了程序设 计语言只要上旬、选择和重复三种形式 的控制结构就足以表达出各种其他形式 的结构 ■1970年 McKeeman称其XPL编译程序仅用 个GOTO语句 n1972年 C. Strachey设计的操作系统只在 五处使用了标号和GOTO语句论据 ◼ 1966年，Boehm和Jacopini证明了程序设 计语言只要上旬、选择和重复三种形式 的控制结构就足以表达出各种其他形式 的结构 ◼ 1970年McKeeman称其XPL编译程序仅用 一个GOTO语句 ◼ 1972年C.Strachey设计的操作系统只在 五处使用了标号和GOTO语句