EMME: a formal tool for ECMAScript Memory Model Evaluation.

Cristian Mattarei Clark W. Barrett Shu-yu Guo Bradley Nelson Ben Smith

Published in: CoRR (2018)

Keyphrases

computational model
formal model
probabilistic model
high level
parameter estimation
cost function
theoretical analysis
evaluation model
process model
objective function
model selection
prior knowledge
information systems
statistical model
conceptual model
neural network
object model
data sets