制御構造の系譜

プログラムの制御構造に関する問題は、熱い論争の歴史を持っています。これを確固たる基盤に置くために、本論文では制御構造に関する多数の理論的成果をレビューし、それらの実際的な意味合いを探ります。BöhmとJacopiniによるif-then-elseおよびwhile-doの理論的完全性に関する古典的成果についても言及しています。その後、最近の制御構造に関するいくつかのアイデアを探ります。これには、さまざまな他の制御構造のレビュー、時間/空間の制限に関する結果、およびいくつかの同等性の概念における制御構造の相対的な力に関する定理が含まれます。結論として、理論的成果が実践するプログラマに及ぼす影響や、操作的抽象としての一入り一出の制御構造の重要性について議論します。さらに、if-then-else、while-do、その変種以上の制御構造を保証する十分な証拠はないと主張されます。