Algebraic Semantics for C++11 Memory Model.

Lili Xiao Huibiao Zhu Mengda He Shengchao Qin

Published in: COMPSAC (2022)

Keyphrases

conceptual model
computational model
neural network
formal model
experimental data
prior knowledge
metamodel
statistical model
theoretical analysis
probabilistic model
objective function
expert systems
bayesian networks
similarity measure
decision trees
prediction model
database