Developing algebraic specifications of threaded data structure implementations.

Published in: Werkzeuge der Programmiertechnik (1981)

Keyphrases

data structure
efficient data structures
specification language
multi dimensional
database
frequent patterns
itemsets
algorithms and data structures
data structures and algorithms
formal specification
quadtree
tree structure
nearest neighbor
database systems
high level
search engine
data mining