Harvey Tuch, Gerwin Klein, Michael Norrish
Types, bytes, and separation logic
POPL, 2007.
@inproceedings{POPL-2007-TuchKN,
author = "Harvey Tuch and Gerwin Klein and Michael Norrish",
booktitle = "{Proceedings of the 34th Symposium on Principles of Programming Languages}",
doi = "10.1145/1190216.1190234",
editor = "Martin Hofmann and Matthias Felleisen",
isbn = "1-59593-575-4",
pages = "97--108",
publisher = "{ACM}",
title = "{Types, bytes, and separation logic}",
year = 2007,
}