%0 Conference Paper %1 conf/pldi/GordonEG13 %A Gordon, Colin S. %A Ernst, Michael D. %A Grossman, Dan %B PLDI %D 2013 %E Boehm, Hans-Juergen %E Flanagan, Cormac %I ACM %K dblp %P 73-84 %T Rely-guarantee references for refinement types over aliased mutable data. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2013.html#GordonEG13 %@ 978-1-4503-2014-6

@inproceedings{conf/pldi/GordonEG13, added-at = {2019-06-02T00:00:00.000+0200}, author = {Gordon, Colin S. and Ernst, Michael D. and Grossman, Dan}, biburl = {https://www.bibsonomy.org/bibtex/2e4468389ffb67b0503393e55fceeab02/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2013}, editor = {Boehm, Hans-Juergen and Flanagan, Cormac}, ee = {https://www.wikidata.org/entity/Q60141714}, interhash = {51550d37c5ca8e8789a56a6c33409356}, intrahash = {e4468389ffb67b0503393e55fceeab02}, isbn = {978-1-4503-2014-6}, keywords = {dblp}, pages = {73-84}, publisher = {ACM}, timestamp = {2019-06-04T13:36:23.000+0200}, title = {Rely-guarantee references for refinement types over aliased mutable data.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2013.html#GordonEG13}, year = 2013 }