Using dependent types to certify the safety of assembly code (0)

by Matthew Harren, George C Necula
Venue:In Static Analysis Symposium (SAS), 2005. [HSW + 00] Jason