Having a CS background too, I often look at code ito correctness and efficiency. Efficiency is usually quite easy to determine but correctness goes beyond "does it compile" but includes the difficult to check "does it do what it's supposed to". T