How to prove a compiler correct (cross-post)

::

By: Daniel Patterson