Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct.

Wolfgang Goerigk Ulrich Hoffmann Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. 122-136 1998 conf/fm/1998 FM-Trends db/conf/fm/fm1998.html#GoerigkH98 http://dx.doi.org/10.1007/3-540-48257-1_7