Syntax and semantics of the weak consistency model specification language cat.

Jade Alglave,Patrick Cousot,Luc Maranget

Syntax and semantics of the weak consistency model specification language cat.

2016

Jade Alglave
Patrick Cousot
Luc Maranget

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:

Programming language
Specification language
Homoiconicity
Language primitive
Abstract syntax tree
Computer science
Syntax (programming languages)
Syntax error
Natural language processing
Object language
Abstract syntax
Artificial intelligence
Programming language specification
Computational semantics

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations