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