Paper Info
Title
Syntax and semantics of the weak consistency model specification language cat.
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 (this http URL)l.
Year
Venue
Field
2016
arXiv: Programming Languages
Specification language,Programming language,Programming language specification,Computer science,Computational semantics,Abstract syntax tree,Object language,Natural language processing,Artificial intelligence,Abstract syntax,Syntax (programming languages),Syntax error
DocType
Volume
Citations 
Journal
abs/1608.07531
2
PageRank 
References 
Authors
0.36
4
3
Name
Order
Citations
PageRank
Jade Alglave160826.53
Patrick Cousot27721574.52
Luc Maranget380849.83