Reasoning about Lock Placements.

Peter Hawkins Alex Aiken Kathleen Fisher Martin C. Rinard Mooly Sagiv

Published in: ESOP (2012)

Keyphrases

concurrency control
real time
qualitative reasoning
search algorithm
spatial reasoning
formal theory
qualitative spatial
information retrieval
learning environment
artificial neural networks
causal reasoning
practical reasoning