Formalizing the concurrency semantics of an LLVM fragment.

Soham Chakraborty Viktor Vafeiadis

Published in: CGO (2017)

Keyphrases

concurrency control
database systems
semantic information
formal semantics
neural network
knowledge representation
software systems
schema mappings
transaction processing
specification language
xml fragments
object oriented languages
concurrent execution