A high-level operational semantics for hardware weak memory models.

Robert J. Colvin Graeme Smith

Published in: CoRR (2018)

Keyphrases

operational semantics
high level
computing power
low level
formal semantics
computational intelligence
processing units
denotational semantics
activity diagrams