Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP (Q2154026)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP |
scientific article |
Statements
Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP (English)
0 references
13 July 2022
0 references
relaxed memory model
0 references
MCA ARMv8 architecture
0 references
unifying theories of programming (UTP)
0 references
trace semantics
0 references
algebraic laws
0 references
0 references