Type-based verification of assembly language for compiler debugging (2005)

by Bor-yuh Evan , Chang Adam Chlipala , George C. Necula , Robert R. Schneck
Venue:In Proceedings of the 2nd ACM Workshop on Types in Language Design and Implementation (TLDI’05
Citations:5 - 3 self