Verified Mutable Data Structures.

Samuel Chassot Viktor Kuncak

Published in: CoRR (2021)

Keyphrases

data structure
suffix tree
data types
efficient data structures
database systems
index structure
high dimensional
database operations
quadtree
multi dimensional
probabilistic model
search engine
preprocessing
optimal solution
reinforcement learning
similarity measure
information systems