Separation of concerning things: a simpler basis for defining and programming with the C/C++ memory model (extended version).

Robert J. Colvin

Published in: CoRR (2022)

Keyphrases

high level
mathematical model
database
data sets
cost function
probabilistic model
input data
computational model
databases
search engine
database systems
probability distribution
process model
statistical model