表現系工学特論.pptVIP

表現系工学特論 逐次プログラムの正当性（３） ホーア論理 １．構造化定理 (1/5) スパゲティ?プログラム Go To Statement Considered Harmful theorem on structured programs spaghetti program Go To 文　有害説　(Dijkstra) １．構造化定理 (2/5) 構造化定理 任意の流れ図に対して， ３つの基本構造 連接 (concatenation) 選択 (selection) 反復 (repetition) の組合せにより，等価な 　構造化流れ図　(Structured Flowchart) を作ることができる． 構造化プログラミング 現実には，return と break くらいは許す？ structured programming １．構造化定理 (3/5) ３つの基本構造 出入口はそれぞれ１カ所 流れを表す線が交差しない Only one entrance and one exit No crossings of flow lines １．構造化定理 (4/5) 前判定反復への変換 処理 終了？ 入力 yes no 処理 終了？ 入力 入力 yes no while .. do … Transforming repetitions into the standard (while