Automatic Verification of Parameterized Data Structures.

Jyotirmoy V. Deshmukh E. Allen Emerson Prateek Gupta

Published in: TACAS (2006)

Keyphrases

data structure
index structure
quadtree
data types
suffix tree
efficient data structures
machine learning
learning algorithm
artificial intelligence
similarity search
data cube
inverted index
algorithms and data structures