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 - Gordon - Document - PDFSEARCH.IO

First Page		Document Content
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.edu Add to Reading List Source URL: www.cs.drexel.edu Download Document from Source Website File Size: 280,58 KB Share Document on Facebook