Hob: A Tool for Verifying Data Structure Consistency.

Patrick Lam Viktor Kuncak Martin C. Rinard

Published in: CC (2005)

Keyphrases

data structure
itemsets
software tools
computer vision
expert systems
search space
user interface
graphical models
index structure
data types
consistency checking