Login / Signup
Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types.
Colin S. Gordon
Michael D. Ernst
Dan Grossman
Matthew J. Parkinson
Published in:
ACM Trans. Program. Lang. Syst. (2017)
Keyphrases
</>
data structure
fine grained
computer vision
image segmentation
main memory
data sets
data mining
video sequences
concurrency control
efficient data structures