The notion that a compiler makes your code more correct is absurd. Also your emphasis on "correct" makes me wonder what your trying to say...all compiled programs are correct whether they work or not.