ASM-Based Mechanized Verification of Compiler Back-Ends

by Axel Dold , Thilo S. Gaul , Vincent Vialard , Wolf Zimmermann
Citations:11 - 2 self