Modular Reasoning about Separation of Concurrent Data Structures.

Kasper Svendsen Lars Birkedal Matthew J. Parkinson

Published in: ESOP (2013)

Keyphrases

data structure
spatial reasoning
concurrent actions
data types
qualitative reasoning
mutual exclusion
quadtree
modular structure
modular neural networks
real time
efficient data structures
highly flexible
formal theory
causal reasoning
multidimensional data
multi dimensional
decision trees
databases