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

by M O Myreen
Venue:In 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). ACM