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.
Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types [link]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