ASM-Based Mechanized Verification of Compiler Back-Ends

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