Types, bytes, and separation logic (2007)

by H Tuch, G Klein, M Norrish
Venue:In Proc. 34th POPL