The design and verification of Java's memory model.

Published in: OOPSLA Companion (2002)

Keyphrases

metamodel
theoretical framework
conceptual model
probabilistic model
mathematical model
conceptual framework
experimental data
data sets
case study
user interface
open source
formal model
long term memory
database
statistical model
design process
object oriented
probability distribution
high level