Proving the correctness of nonblocking data structures.

Mathieu Desnoyers

Published in: Commun. ACM (2013)

Keyphrases

data structure
data types
main memory
knn
b tree
efficient data structures
data sets
search engine
information systems
multi agent
inverted index
continuous queries
suffix tree