チューリング賞 1972: 勝者

受賞者

1. Edsger W. Dijkstra

   情報科学

   for fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design