A Precise and Abstract Memory Model for C Using Symbolic Values.

Frédéric Besson Sandrine Blazy Pierre Wilke

Published in: APLAS (2014)

Keyphrases

high level
probabilistic model
probability distribution
theoretical analysis
mathematical model
statistical model
simulation model
genetic algorithm
learning algorithm
decision trees
case study
database systems
prior knowledge
higher level
process model
experimental data