Sign in
A Fine-Grained Semantics for Arrays and Pointers Under Weak Memory Models.
Robert J. Colvin
Published in:
FM (2023)
Keyphrases
</>
fine grained
coarse grained
data provenance
access control
knowledge base
databases
probabilistic model
natural language
data model
semantic information
tightly coupled