Practical Construction of Correct Compiler Implementations by Runtime Result Verification (2000)

by T Gaul, W Zimmermann, W Goerigk
Venue:In Proc. SCI’2000, International Conference on Information Systems Analysis and Synthesis