What even is compiler correctness? (cross-post) 2017-03-24 :: By: William J. Bowman (Show comments / Powered by Disqus)