Effects for cooperable and serializable threads.

Jaeheon Yi Cormac Flanagan

Published in: TLDI (2010)

Keyphrases

desirable properties
concurrency control
data sets
information systems
database systems
learning environment
query processing
multi dimensional
integrity constraints