Types, bytes, and separation logic (2007)

by Harvey Tuch, Gerwin Klein, Michael Norrish
Venue:In Principles of Programming Languages