Note on On the Cruelty of Really Teaching Computing Science via University of Texas in Austin

the programmer’s task is not just to write down a program, but that his main task is to give a formal proof that the program he proposes meets the equally formal functional specification

FROM:

University of Texas in Austin

On the Cruelty of Really Teaching Computing Science

Source

As computers become ever more powerful, the job becomes to de-program the error states, to prove that the intended outcome will happen (rather than the unintended outcome)