Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version)

Gordon, Colin S., Ernst, Michael D., Grossman, Dan

number UW-CSE-13-03-02, March 2013

pdf url

Bibtex

@techreport{uw-cse-13-03-02,
  author = {Gordon, Colin S. and Ernst, Michael D. and Grossman, Dan},
  title = {{Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version)}},
  month = {March},
  year = {2013},
  number = {UW-CSE-13-03-02},
  institution = {{University of Washington}},
  url = {ftp://ftp.cs.washington.edu/tr/2013/03/UW-CSE-13-03-02.PDF},
  url2 = {http://dada.cs.washington.edu/research/tr/2013/03/UW-CSE-13-03-02.PDF}
}