Syntax and semantics of the weak consistency model specification language cat
classification
💻 cs.PL
keywords
languageconsistencysemanticssyntaxdescribedistributeddomainherd
read the original 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 too (http://diy.inria.fr/doc/herd.html)l.
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.