Login / Signup
Synthesizing Short-Circuiting Validation of Data Structure Invariants.
Yi-Fan Tsai
Devin Coughlin
Bor-Yuh Evan Chang
Xavier Rival
Published in:
CoRR (2015)
Keyphrases
</>
data structure
moment invariants
database systems
main memory
pattern recognition
data types
hierarchical structures
efficient data structures
databases
image segmentation
itemsets
index structure
r tree
model validation
geometric invariants
imperative programs