Syntax and semantics of the weak consistency model specification language cat

Autor:	Alglave, Jade, Cousot, Patrick, Maranget, Luc
Rok vydání:	2016
Předmět:	Computer Science - Programming Languages
Druh dokumentu:	Working Paper
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1608.07531 Zobrazit plný text záznamu View this record from Arxiv