Correctness and efficiency

I was taught in my computer science courses as an undergraduate the importance of efficiency: time and space complexity, average and worst case analyses, caching, sorting, and so on. I was also taught about correctness: specifications, requirements, policies, and, more formally, proofs and theorems. Both of these are important, but I was not heavily instructed […]

Read More Correctness and efficiency