17 citations · 22 across the 2 of their papers we have counts for
2 papers
cs.PL2016★ 17 cited
Syntax and semantics of the weak consistency model specification language cat
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…
cs.PL2016★ 5 cited
Syntax and analytic semantics of LISA
Jade ALglave, Patrick Cousot
We provide the syntax and semantics of the LISA (for "Litmus Instruction Set Architecture") language. The parallel assembly language LISA is implemented in the herd7 tool (http://v…