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.
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
{"_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"]}