Unifying type checking and property checking for low-level code.

Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer

Browse the full POPL paper archive.