Syntax and semantics of the weak consistency model specification language cat

J. Alglave, P. Cousot, Luc Maranget

2016

1 reference

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.

View Paper PDF DOI

🖥️ Operating Systems

1 repository

1 reference

Code References

▶ torvalds/linux

1 file

▶ tools/memory-model/Documentation/references.txt

L122

cat". CoRR abs/1608.07531 (2016). https://arxiv.org/abs/1608.07531

Link copied to clipboard!