@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}
}

{"_id":"kvqBAZRLaMrybQ7GR","bibbaseid":"gordon-ernst-grossman-relyguaranteereferencesforrefinementtypesoveraliasedmutabledata-2013","downloads":0,"creationDate":"2019-02-05T02:31:25.258Z","title":"Rely-guarantee references for refinement types over aliased mutable data","author_short":["Gordon, C. S.","Ernst, M. D.","Grossman, D."],"year":2013,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/77/11368.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Colin","S."],"propositions":[],"lastnames":["Gordon"],"suffixes":[]},{"firstnames":["Michael","D."],"propositions":[],"lastnames":["Ernst"],"suffixes":[]},{"firstnames":["Dan"],"propositions":[],"lastnames":["Grossman"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/pldi/GordonEG13,\n author = {Colin S. Gordon and\n Michael D. Ernst and\n Dan Grossman},\n title = {Rely-guarantee references for refinement types over aliased mutable\n data},\n booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,\n {PLDI} '13, Seattle, WA, USA, June 16-19, 2013},\n pages = {73--84},\n year = {2013},\n crossref = {DBLP:conf/pldi/2013},\n url = {https://doi.org/10.1145/2491956.2462160},\n doi = {10.1145/2491956.2462160},\n timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},\n biburl = {https://dblp.org/rec/bib/conf/pldi/GordonEG13},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gordon, C. S.","Ernst, M. D.","Grossman, D."],"key":"DBLP:conf/pldi/GordonEG13","id":"DBLP:conf/pldi/GordonEG13","bibbaseid":"gordon-ernst-grossman-relyguaranteereferencesforrefinementtypesoveraliasedmutabledata-2013","role":"author","urls":{"Paper":"https://doi.org/10.1145/2491956.2462160"},"downloads":0},"search_terms":["rely","guarantee","references","refinement","types","over","aliased","mutable","data","gordon","ernst","grossman"],"keywords":[],"authorIDs":[],"dataSources":["23HzvM7bPMdaXcJsn"]}