Maybe it is so because this is a very wordy article with Dijkstra having just his usual axes to grind? The debate about this article should be a debate about th

Maybe it is so because this is a very wordy article with Dijkstra having just his usual axes to grind? The debate about this article should be a debate about the merits of proving program correctness, even though people nowadays read in Dijkstra many other things he probably did not even mean; anyway, this debate has been done to death in the period when there was still any controversy about using it as a technique for day-to-day programming. I think the problem with Dijkstra is that A) he views every program as a huge algorithm, where 90% of programming now is doing IO and user interfaces B) he doesn't take into consideration that people can have different brain wiring than he has and be effective with other techniques that the ones he advocates.