Detecting semantic violations of lock-free data structures through C++ contracts.
Javier López-GómezDavid del Rio AstorgaManuel F. DolzJavier FernándezJosé Daniel GarcíaPublished in: J. Supercomput. (2020)
Keyphrases
- data structure
- semantic search
- semantic information
- concurrency control
- semantic knowledge
- semantic annotation
- efficient data structures
- metadata
- semantically equivalent
- semantic level
- multidimensional data
- automatic detection
- data types
- domain specific
- suffix tree
- context dependent
- semantic content
- semantically meaningful
- natural language processing
- natural language