Recursive Data Structures in SPARK.

Claire Dross Johannes Kanig

Published in: CAV (2) (2020)

Keyphrases

data structure
efficient data structures
index structure
real time
data sets
recursive algorithm
genetic algorithm
probabilistic model
database management systems
quadtree
bloom filter
hash table
recursive functions
data structures and algorithms