Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types. Gordon, C. S., Ernst, M. D., Grossman, D., & Parkinson, M. J. ACM Trans. Program. Lang. Syst., 39(3):11:1–11:54, 2017. Paper doi bibtex @article{DBLP:journals/toplas/GordonEGP17,
author = {Colin S. Gordon and
Michael D. Ernst and
Dan Grossman and
Matthew J. Parkinson},
title = {Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee
and Refinement Types},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {39},
number = {3},
pages = {11:1--11:54},
year = {2017},
url = {https://doi.org/10.1145/3064850},
doi = {10.1145/3064850},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/journals/toplas/GordonEGP17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"akMxLuBtdg3jgs25N","bibbaseid":"gordon-ernst-grossman-parkinson-verifyinginvariantsoflockfreedatastructureswithrelyguaranteeandrefinementtypes-2017","downloads":0,"creationDate":"2019-02-05T02:31:25.248Z","title":"Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types","author_short":["Gordon, C. S.","Ernst, M. D.","Grossman, D.","Parkinson, M. J."],"year":2017,"bibtype":"article","biburl":"https://dblp.org/pid/77/11368.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Colin","S."],"propositions":[],"lastnames":["Gordon"],"suffixes":[]},{"firstnames":["Michael","D."],"propositions":[],"lastnames":["Ernst"],"suffixes":[]},{"firstnames":["Dan"],"propositions":[],"lastnames":["Grossman"],"suffixes":[]},{"firstnames":["Matthew","J."],"propositions":[],"lastnames":["Parkinson"],"suffixes":[]}],"title":"Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types","journal":"ACM Trans. Program. Lang. Syst.","volume":"39","number":"3","pages":"11:1–11:54","year":"2017","url":"https://doi.org/10.1145/3064850","doi":"10.1145/3064850","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/journals/toplas/GordonEGP17","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/toplas/GordonEGP17,\n author = {Colin S. Gordon and\n Michael D. Ernst and\n Dan Grossman and\n Matthew J. Parkinson},\n title = {Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee\n and Refinement Types},\n journal = {{ACM} Trans. Program. Lang. Syst.},\n volume = {39},\n number = {3},\n pages = {11:1--11:54},\n year = {2017},\n url = {https://doi.org/10.1145/3064850},\n doi = {10.1145/3064850},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/journals/toplas/GordonEGP17},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gordon, C. S.","Ernst, M. D.","Grossman, D.","Parkinson, M. J."],"key":"DBLP:journals/toplas/GordonEGP17","id":"DBLP:journals/toplas/GordonEGP17","bibbaseid":"gordon-ernst-grossman-parkinson-verifyinginvariantsoflockfreedatastructureswithrelyguaranteeandrefinementtypes-2017","role":"author","urls":{"Paper":"https://doi.org/10.1145/3064850"},"downloads":0},"search_terms":["verifying","invariants","lock","free","data","structures","rely","guarantee","refinement","types","gordon","ernst","grossman","parkinson"],"keywords":[],"authorIDs":[],"dataSources":["23HzvM7bPMdaXcJsn"]}