A Verified Imperative Implementation of B-Trees.

Published in: Arch. Formal Proofs (2021)

Keyphrases

b tree
concurrency control
r tree
index structure
database
main memory
data structure
high availability
file organizations
information retrieval
fine grained
data distribution