Syntax and analytic semantics of LISA

Abstract

We provide the syntax and semantics of the LISA (for "Litmus Instruction Set Architecture") language. The parallel assembly language LISA is implemented in the herd7 tool (http://virginia.cs.ucl.ac.uk/herd/) for simulating weak consistency models.

Cited by in corpus (2)

• Syntax and semantics of the weak consistency model specification language cat
• PrideMM: A Solver for Relaxed Memory Models