Verified just-in-time compiler on x86 (2010)

by M O Myreen
Venue:In POPL