A Tutorial on Specifying Data Structures in Maude.

Narciso Martí-Oliet Miguel Palomino Alberto Verdejo

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

data structure
formal specification
efficient data structures
index structure
data types
quadtree
equational theories
genetic algorithm
artificial intelligence
search algorithm
multiresolution
object oriented
data cube
database operations