Rely-guarantee references for refinement types over aliased mutable data. Gordon, C. S., Ernst, M. D., & Grossman, D. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013, pages 73–84, 2013.
Rely-guarantee references for refinement types over aliased mutable data [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/pldi/GordonEG13,
  author    = {Colin S. Gordon and
               Michael D. Ernst and
               Dan Grossman},
  title     = {Rely-guarantee references for refinement types over aliased mutable
               data},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
  pages     = {73--84},
  year      = {2013},
  crossref  = {DBLP:conf/pldi/2013},
  url       = {https://doi.org/10.1145/2491956.2462160},
  doi       = {10.1145/2491956.2462160},
  timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/GordonEG13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0