computer-science - 必読のEWDとは何ですか？

Question

ダイクストラは、最も多作なコンピューター科学者の1人でした。彼は有名なEWDを書きました。それらすべてを読むことは現実的ではありません。しかし、私たち全員が読まなければならないものがあると思います。

それらのどれが必読ですか？

Answer 1

「構造化プログラミング」の彼の章から始めることをお勧めします。技術的にはEWDではありませんが、私のお気に入りのダイクストラです。また、Stepanovの「ElementsofProgramming」を強くお勧めします。私の考えでは、ステパノフは私たちの世代のダイクストラです。

Answer 2

面白い。これについてブログを書きました: The EW Dijkstra Archive (Update) . A Discipline of Programming の本に類似しているため、これはかなり重要であると思います。

EWD316, A Short Introduction to the Art of Programmingも参照してください。

Answer 3

正式な環境 (学校や大学など) で導入されたことはありませんが、おそらく、ダイクストラのプログラム構築方法に触れることで恩恵を受けることができます。これは、非常に厳格ですが、思考プロセスを文書化し、説明責任を持たせるための強力な手法です。プログラムとアルゴリズムを設計するとき。

プログラミングの規律はおそらく良い出発点になるでしょう (Roland Backhouse のProgram Constructionのように) が、純粋な影響という点では、技術に熟練した誰かがそれを効果的に使用するのを見るのが最善だと思います. 彼の講演The power ofcounting arguments (テキサス大学で開催) は、この目的の良いデモンストレーションです。