Reasoning about B+ Trees with Operational Semantics and Separation Logic.
Alan P. SextonHayo ThieleckePublished in: MFPS (2008)
Keyphrases
- operational semantics
- b tree
- declarative semantics
- model theoretic
- data structure
- concurrency control
- formal semantics
- mental states
- index structure
- main memory
- r tree
- spatial databases
- data model
- agent programming
- access path
- tree structure
- arbitrary length
- file organizations
- activity diagrams
- multi dimensional
- speech acts
- logic programming
- data mining
- database