Separation of Concerning Things: A Simpler Basis for Defining and Programming with the C/C++ Memory Model.

Robert J. Colvin

Published in: ICFEM (2022)

Keyphrases

mathematical model
similarity measure
prior knowledge
programming language
statistical model
data sets
decision making
knowledge base
objective function
evolutionary algorithm
cost function
probabilistic model
computational model
conceptual model
main memory