The Java Memory Model: Operationally, Denotationally, Axiomatically.

Pietro Cenciarelli Alexander Knapp Eleonora Sibilio

Published in: ESOP (2007)

Keyphrases

high level
theoretical analysis
statistical model
probability distribution
management system
sensitivity analysis
information retrieval
similarity measure
probabilistic model
mathematical model
conceptual model
neural network model
formal model