A formalisation of the SPARC TSO memory model for multi-core machine code.

Zhe Hou David Sanán Alwen Tiu Yang Liu Jin Song Dong

Published in: CoRR (2019)

Keyphrases

computational model
database
information systems
probabilistic model
probability distribution
source code
database systems
video sequences
open source
mathematical model
formal model