Verifying Definite Iteration Over Data Structures.

Allan M. Stavely

Published in: IEEE Trans. Software Eng. (1995)

Keyphrases

data structure
data types
objective function
efficient data structures
suffix tree
database
quadtree
model checking
neural network
similarity measure
multidimensional data
b tree
special case
kd trees
hidden markov models
data streams
multiscale
information systems
data sets