Contract-Based Data Structure Repair Using Alloy.

Razieh Nokhbeh Zaeem Sarfraz Khurshid

Published in: ECOOP (2010)

Keyphrases

data structure
data types
efficient data structures
main memory
multiresolution
databases
mechanical properties
suffix tree
tree structure
index structure
itemsets
supply chain
quadtree
multi dimensional
damage assessment
room temperature
data sets
consistent query answering
plan repair