Recursive proofs for inductive tree data-structures.
Parthasarathy MadhusudanXiaokang QiuAndrei StefanescuPublished in: POPL (2012)
Keyphrases
- data structure
- tree structure
- index structure
- b tree
- suffix tree
- r tree
- binary search trees
- tree structures
- kd trees
- tree models
- wavelet tree
- data types
- linked list
- inductive learning
- machine learning
- theorem prover
- hierarchical structure
- inductive reasoning
- iterative refinement
- hash table
- recursive queries
- database
- automated theorem provers
- datalog programs
- indexing structure
- theorem proving
- concept learning
- quadtree
- inductive logic programming
- main memory