Introducing Specification-Based Data Structure Repair Using Alloy.
Razieh Nokhbeh ZaeemSarfraz KhurshidPublished in: ASM (2010)
Keyphrases
- data structure
- efficient data structures
- mechanical properties
- suffix tree
- data types
- main memory
- quadtree
- artificial intelligence
- high level
- formal verification
- space efficient
- consistent query answering
- database
- provably correct
- preventive maintenance
- formal specification
- r tree
- conceptual model
- user defined
- frequent patterns
- itemsets
- multi dimensional
- data sets
- real time