Separation logic for weak memory models.

Viktor Vafeiadis

Published in: PLMW@POPL (2015)

Keyphrases

statistical models
database
model selection
experimental data
neural network
probabilistic model
statistical model
data mining
artificial intelligence
multi agent
memory requirements
modal logic
memory usage
accurate models