On Validity of Program Transformations in the Java Memory Model.

Jaroslav Sevcík David Aspinall

Published in: ECOOP (2008)

Keyphrases

mathematical model
theoretical framework
objective function
probabilistic model
management system
theoretical analysis
learning algorithm
high level
prior knowledge
probability distribution
object oriented
input data
maximum likelihood
process model
simulation model