Verifying a hash table and its iterators in higher-order separation logic.

François Pottier

Published in: CPP (2017)

Keyphrases

hash table
higher order
linear hashing
data structure
natural images
hash functions
hash tables
locality sensitive hashing
pairwise
markov random field
block size
indexing methods
external memory
query language
information retrieval systems
nearest neighbor search
database systems