![](https://www.pdfsearch.io/img/c7b344c4c7752c427137f10d285540bc.jpg) Date: 2016-03-03 13:09:40
| | Rely-Guarantee References for Refinement Types Over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.eduAdd to Reading ListSource URL: www.cs.drexel.eduDownload Document from Source Website File Size: 280,58 KBShare Document on Facebook
|