Data Structure Specifications via Local Equality Axioms.
Scott McPeakGeorge C. NeculaPublished in: CAV (2005)
Keyphrases
- data structure
- efficient data structures
- knowledge base
- delay insensitive
- data types
- main memory
- specification language
- high level
- first order logic
- quadtree
- written in natural language
- dependency graph
- multidimensional data
- suffix tree
- formal specification
- tree structure
- search engine
- hierarchical structures
- genetic algorithm
- data mining
- data sets
- linked list
- database