Syntax and analytic semantics of LISA
classification
💻 cs.PL
keywords
lisalanguagesemanticssyntaxanalyticarchitectureassemblyconsistency
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.