Types, bytes, and separation logic. (2007)

by Harvey Tuch, Gerwin Klein, Michael Norrish
Venue:In Martin Hofmann and Matthias Felleisen, editors, Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,