Yeah, if EWD had had his way, very little software would ever have been written. I think his insistence on proving the correctness of imperative programs is und

Yeah, if EWD had had his way, very little software would ever have been written. I think his insistence on proving the correctness of imperative programs is understandable but entirely wrong headed. The sheer amount of insight needed to get through the working day would be unattainable by most and unsustainable for all but a few.