Plan B: a buffered memory model for Java.

Delphine Demange Vincent Laporte Lei Zhao Suresh Jagannathan David Pichardie Jan Vitek

Published in: POPL (2013)

Keyphrases

probabilistic model
high level
computational model
management system
theoretical analysis
conceptual model
prediction model
genetic algorithm
database systems
data model
markov chain
theoretical framework
formal model
decision theoretic