A promising semantics for relaxed-memory concurrency.

Jeehoon Kang Chung-Kil Hur Ori Lahav Viktor Vafeiadis Derek Dreyer

Published in: POPL (2017)

Keyphrases

formal semantics
memory requirements
memory usage
logic programming
semantic information
neural network
database systems
concurrency control
nested transactions
default reasoning
main memory
data exchange
fine grained
data management
object oriented
web services
information systems