Formally Verifying a Compiler: What Does It Mean, Exactly?

Xavier Leroy

Browse the full ICALP paper archive.