Automatically Verified Implementation of Data Structures Based on AVL Trees.

Martin Clochard

Published in: VSTTE (2014)

Keyphrases

data structure
automatically generated
kd trees
data mining
domain specific
database management systems
xml data
tree structure
efficient implementation