38 citations · 73 across the 10 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
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…
cs.PL2016★ 1 cited
Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Simon Gay, Jade Alglave
PLACES 2015 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the eighth edition of the PLACES workshop series. After the first PL…