A Verified Implementation of B+-Trees in Isabelle/HOL.

Niels Mündler Tobias Nipkow

Published in: CoRR (2022)

Keyphrases

b tree
theorem prover
index structure
natural deduction
r tree
data structure
main memory
tree structures
access path
data mining
database systems
concurrency control
indexing techniques
secondary storage