Jade Alglave, Patrick Cousot, and Luc Maranget, Syntax and semantics of the weak consistency model specification language <tt>cat</tt>

Jade Alglave, Patrick Cousot, and Luc Maranget.
Syntax and semantics of the weak consistency model specification language cat
In CoRR, arXiv:1608.06583 [cs.PL], 30 August 2016.
Paper:
- PDF (1.3 MB)
Abstract:
We provide the syntax and semantics of the cat language, a domain specific language to describe consistency properties of parallel/distributed programs. The language is implemented in the herd7 tool (this http URL) Alglave and Maranget (2015).
Keywords:
cat language, semantics, weak consistency model.

Bibliographic reference:


@article{DBLP:journals/corr/AlglaveCM16,
  author    = {Jade Alglave and
               Patrick Cousot and
               Luc Maranget},
  title     = {Syntax and semantics of the weak consistency model specification language
               \texttt{cat}},
  journal   = {CoRR},
  volume    = {abs/1608.07531},
  month     = aug,
  year      = {2016},
  url       = {http://arxiv.org/abs/1608.07531},
  timestamp = {Fri, 02 Sep 2016 17:46:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/AlglaveCM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

\bibitem{DBLP:journals/corr/AlglaveC16}
Jade Alglave, Patrick Cousot, and Luc Maranget.
\newblock Syntax and semantics of the weak consistency model specification language \texttt{cat}.
\newblock In \emph{CoRR}, abs/1608.07531 [cs.PL], 30 August 2016.
          \url{http://arxiv.org/abs/1608.07531}.

copyright notice,
Last modified: Sun Oct 16 16:56:18 EDT 2016