Colin S. Gordon, Michael D. Ernst, Dan Grossman
Rely-guarantee references for refinement types over aliased mutable data
PLDI, 2013.
@inproceedings{PLDI-2013-GordonEG,
author = "Colin S. Gordon and Michael D. Ernst and Dan Grossman",
booktitle = "{Proceedings of the 34th Conference on Programming Language Design and Implementation}",
doi = "10.1145/2462156.2462160",
editor = "Hans-Juergen Boehm and Cormac Flanagan",
isbn = "978-1-4503-2014-6",
pages = "73--84",
publisher = "{ACM}",
title = "{Rely-guarantee references for refinement types over aliased mutable data}",
year = 2013,
}