Login / Signup
Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models.
Azalea Raad
John Wickerson
Viktor Vafeiadis
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
formal semantics
semantic information
machine learning
logic programming
statistical models
database
data sets
neural network
bayesian networks
semantic models
business process models
semantics for logic programs