English

Syntax and semantics of the weak consistency model specification language cat

Programming Languages 2016-08-31 v2
Authors: Jade Alglave , Patrick Cousot , Luc Maranget
View on arXiv ↗ PDF ↗

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 (http://diy.inria.fr/doc/herd.html)l.

Keywords

programming languages

Cite

@article{arxiv.1608.07531,
  title  = {Syntax and semantics of the weak consistency model specification language cat},
  author = {Jade Alglave and Patrick Cousot and Luc Maranget},
  journal= {arXiv preprint arXiv:1608.07531},
  year   = {2016}
}

Related papers

View all related →
Logic in Computer Science · Computer Science
Designing a semantic model for a wide-spectrum language with concurrency
Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke
2016-09-02
Software Engineering · Computer Science
Modeling Language Variability
Hans Grönninger, Bernhard Rumpe
2014-09-24
Software Engineering · Computer Science
Modeling Language Variability
Hans Grönninger, Bernhard Rumpe
2014-09-24
Computation and Language · Computer Science
Language model acceptability judgements are not always robust to context
Koustuv Sinha, Jon Gauthier, Aaron Mueller, Kanishka Misra +3
2022-12-20
Formal Languages and Automata Theory · Computer Science
Language properties and Grammar of Parallel and Series Parallel Languages
N. Mohana, Kalyani Desikan, V. Rajkumar Dare
2017-11-07
Programming Languages · Computer Science
Compilation as Multi-Language Semantics
William J. Bowman
2025-09-25
Programming Languages · Computer Science
Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain
Anthony Anjorin, Enes Yigitbas, Erhan Leblebici, Andy Schürr +2
2018-03-30
Computation and Language · Computer Science
Cross-Linguistic Syntactic Evaluation of Word Prediction Models
Aaron Mueller, Garrett Nicolai, Panayiota Petrou-Zeniou, Natalia Talmina +1
2020-05-22
Distributed, Parallel, and Cluster Computing · Computer Science
$\mathcal R\!\raise2pt\hbox{$\varepsilon$}\!\hbox{$\mathcal L$}$: A Fault Tolerance Linguistic Structure for Distributed Applications
Vincenzo De Florio, G. Deconinck
2014-01-16
Computation and Language · Computer Science
Accurate, yet inconsistent? Consistency Analysis on Language Understanding Models
Myeongjun Jang, Deuk Sin Kwon, Thomas Lukasiewicz
2021-08-17
Computation and Language · Computer Science
Enforcing Consistency in Weakly Supervised Semantic Parsing
Nitish Gupta, Sameer Singh, Matt Gardner
2021-07-14
Software Engineering · Computer Science
System Model-Based Definition of Modeling Language Semantics
Hans Grönninger, Jan Oliver Ringert, Bernhard Rumpe
2014-09-24
Software Engineering · Computer Science
Semantic Properties for Lightweight Specification in Knowledgeable Development Environments
Joseph R. Kiniry
2007-05-23
Computation and Language · Computer Science
SERRANT: a syntactic classifier for English Grammatical Error Types
Leshem Choshen, Matanel Oren, Dmitry Nikolaev, Omri Abend
2021-04-08
Programming Languages · Computer Science
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi
2019-12-04
Computation and Language · Computer Science
Does BERT agree? Evaluating knowledge of structure dependence through agreement relations
Geoff Bacon, Terry Regier
2019-08-28
Programming Languages · Computer Science
Declarative Semantics of the Hybrid Constraint Language HydLa
Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii
2019-10-29
Programming Languages · Computer Science
From Syntactic Theories to Interpreters: A Specification Language and Its Compilation
Yong Xiao, Zena M. Ariola, Michel Mauny
2007-05-23
Computation and Language · Computer Science
TeCS: A Dataset and Benchmark for Tense Consistency of Machine Translation
Yiming Ai, Zhiwei He, Kai Yu, Rui Wang
2023-05-24
Software Engineering · Computer Science
A Survey of Linguistic Structures for Application-level Fault-Tolerance
Vincenzo De Florio, Chris Blondia
2015-04-14
Computation and Language · Computer Science
Semantic similarity estimation for domain specific data using BERT and other techniques
R. Prashanth
2025-06-24
Programming Languages · Computer Science
The While language
Cláudio Vasconcelos, António Ravara
2016-04-13
Programming Languages · Computer Science
Scenic: A Language for Scenario Specification and Data Generation
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh +3
2020-10-14
Software Engineering · Computer Science
Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations
Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman
2015-11-26
Computation and Language · Computer Science
Joint Universal Syntactic and Semantic Parsing
Elias Stengel-Eskin, Kenton Murray, Sheng Zhang, Aaron Steven White +1
2021-04-13
R2 v1 2026-06-22T15:32:11.661Z