Verifying Correctness of Persistent Concurrent Data Structures.
John DerrickSimon DohertyBrijesh DongolGerhard SchellhornHeike WehrheimPublished in: FM (2019)
Keyphrases
- data structure
- concurrent execution
- concurrent programs
- data types
- efficient data structures
- index structure
- quadtree
- provably correct
- searching in metric spaces
- database
- database operations
- inverted index
- model checking
- multiresolution
- expert systems
- similarity measure
- database systems
- information systems
- information retrieval
- databases