Jade Alglave and Patrick Cousot, Syntax and analytic semantics of LISA

Jade Alglave and Patrick Cousot.
Syntax and analytic semantics of LISA
In CoRR, arXiv:1608.06583 [cs.PL], 23 August 2016.
Paper:
- PDF (1.3 MB)
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 (this http URL) for simulating weak consistency models.
Keywords:
analytic semantics, LISA, Litmus Instruction Set Architecture, herd7 tool, semantics, weak consistency model.

Bibliographic reference:

@article{DBLP:journals/corr/AlglaveC16,
  author    = {Jade Alglave and Patrick Cousot},
  title     = {Syntax and analytic semantics of {LISA}},
  journal   = {CoRR},
  volume    = {abs/1608.06583},
  month     = aug,
  year      = {2016},
  url       = {http://arxiv.org/abs/1608.06583},
  timestamp = {Fri, 02 Sep 2016 17:46:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/AlglaveC16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

\bibitem{DBLP:journals/corr/AlglaveC16}
Jade Alglave and Patrick Cousot.
\newblock Syntax and analytic semantics of LISA.
\newblock In \emph{CoRR}, arXiv:1608.06583 [cs.PL], 23 August 2016.
          \url{http://arxiv.org/abs/1608.06583}.

copyright notice,
Last modified: Sun Oct 16 16:35:10 EDT 2016