Semi-persistent Data Structures.

Sylvain Conchon Jean-Christophe Filliâtre

Published in: ESOP (2008)

Keyphrases

data structure
data types
algorithms and data structures
efficient data structures
quadtree
index structure
bloom filter
data structures and algorithms
database
real time
databases
genetic algorithm
computer vision
metadata
domain specific
suffix tree