Syntax and semantics of the weak consistency model specification language cat.
2016
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 (this http URL)l.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
5
References
12
Citations
NaN
KQI