Compiler testing via a theory of sound optimisations in the C11/C++11 memory model.

Robin Morisset Pankaj Pawan Francesco Zappa Nardelli

Published in: PLDI (2013)

Keyphrases

computational model
theoretical framework
formal model
high level
management system
general purpose
decision trees
probability distribution
parameter estimation
database
social networks
mathematical model
conceptual model
neural network model
theoretical foundation
conceptual framework