How to Make Computer Programming a Science

If we don't fully understand something, it is an art to deal with it. The notion of an algarithm or a computer programme provides us with an extremely useful test for the depth of our knowledge about any given subject. 15 years ago, computer programm was so badly understood that hardly anyone even thought about proving programmes correct. We just fiddled with a programme until we knew it worked. Now that we understand how such proofs are formulated, this scientific basis is resulting in programmes that are significantly more reliable than those we wrote in former days when intuition was the only basis of correctness. From this standpoint, it is certainly desirable to make computer programming a science.