Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving.
Gidon ErnstGerhard SchellhornWolfgang ReifPublished in: SEFM (2011)
Keyphrases
- shape analysis
- b tree
- interactive theorem proving
- shape descriptors
- shape representation
- index structure
- concurrency control
- r tree
- medical imaging
- main memory
- data structure
- shape recognition
- file organizations
- tree structure
- preserving transformations
- spatial databases
- closed curves
- databases
- shape space
- image analysis and pattern recognition
- machine learning
- range queries
- three dimensional
- image segmentation