EMME: A Formal Tool for ECMAScript Memory Model Evaluation.

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

Published in: TACAS (2) (2018)

Keyphrases

formal model
theoretical framework
data sets
knowledge base
cost function
management system
mathematical model
statistical model
evaluation model
long term memory
learning algorithm
probabilistic model
probability distribution
theoretical analysis
parameter estimation