Syntax and analytic semantics of LISA
Programming Languages
2016-08-24 v1
Abstract
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://virginia.cs.ucl.ac.uk/herd/) for simulating weak consistency models.
Cite
@article{arxiv.1608.06583,
title = {Syntax and analytic semantics of LISA},
author = {Jade ALglave and Patrick Cousot},
journal= {arXiv preprint arXiv:1608.06583},
year = {2016}
}
Related papers
View all related →
Programming Languages · Computer Science
Syntax and semantics of the weak consistency model specification language cat
Jade Alglave, Patrick Cousot, Luc Maranget
2016-08-31
Logic in Computer Science · Computer Science
LISA -- A Modern Proof System
Simon Guilloud, Sankalp Gambhir, Viktor Kunčak
2025-07-16
Machine Learning · Computer Science
LISA: Learning Interpretable Skill Abstractions from Language
Divyansh Garg, Skanda Vaidyanath, Kuno Kim, Jiaming Song +1
2022-12-07
Robotics · Computer Science
A stochastically verifiable autonomous control architecture with reasoning
Paolo Izzo, Hongyang Qu, Sandor M. Veres
2016-11-11
Programming Languages · Computer Science
Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi
2025-06-25
Computation and Language · Computer Science
Lissard: Long and Simple Sequential Reasoning Datasets
Mirelle Bueno, Roberto Lotufo, Rodrigo Nogueira
2024-02-21
Computation and Language · Computer Science
Syntax Helps ELMo Understand Semantics: Is Syntax Still Relevant in a Deep Neural Architecture for SRL?
Emma Strubell, Andrew McCallum
2018-11-13
Logic in Computer Science · Computer Science
Analyzing Many Simulations of Hybrid Programs in Lince
Reydel Arrieta, José Proença, Patrick Meumeu Yomsi
2025-11-19
General Relativity and Quantum Cosmology · Physics
The Testbed for LISA Analysis Project
Lee Samuel Finn, Matthew J. Benacquista, Shane L. Larson, Louis J. Rubbo
2007-05-23
Programming Languages · Computer Science
Declarative Semantics of the Hybrid Constraint Language HydLa
Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii
2019-10-29
Machine Learning · Computer Science
LASA: Language-Agnostic Semantic Alignment at the Semantic Bottleneck for LLM Safety
Junxiao Yang, Haoran Liu, Jinzhe Tu, Jiale Cheng +8
2026-04-24
Systems and Control · Computer Science
Reducing complexity of autonomous control agents for verifiability
Paolo Izzo, Hongyang Qu, Sandor M. Veres
2016-03-04
Computation and Language · Computer Science
Learning Interpretable Style Embeddings via Prompting LLMs
Ajay Patel, Delip Rao, Ansh Kothary, Kathleen McKeown +1
2023-10-11
Computation and Language · Computer Science
Methods to integrate a language model with semantic information for a word prediction component
Tonio Wandmacher, Jean-Yves Antoine
2008-01-31
Computation and Language · Computer Science
Toward Robust Multilingual Adaptation of LLMs for Low-Resource Languages
Haolin Li, Haipeng Zhang, Mang Li, Yaohua Wang +3
2026-05-19
Computation and Language · Computer Science
Visualizing Linguistic Diversity of Text Datasets Synthesized by Large Language Models
Emily Reif, Minsuk Kahng, Savvas Petridis
2023-09-29
Programming Languages · Computer Science
How to be correct, lazy and efficient ?
Catherine Recanati
2007-07-26
Programming Languages · Computer Science
Compilation as Multi-Language Semantics
William J. Bowman
2025-09-25
Computation and Language · Computer Science
LLM-Guided Synthetic Augmentation (LGSA) for Mitigating Bias in AI Systems
Sai Suhruth Reddy Karri, Yashwanth Sai Nallapuneni, Laxmi Narasimha Reddy Mallireddy, Gopichand G
2025-10-16
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
General Relativity and Quantum Cosmology · Physics
Synthetic LISA: Simulating Time Delay Interferometry in a Model LISA
Michele Vallisneri
2009-11-10
Software Engineering · Computer Science
LLM-Assisted Semantic Alignment and Integration in Collaborative Model-Based Systems Engineering Using SysML v2
Zirui Li, Stephan Husung, Haoze Wang
2026-02-13
Computation and Language · Computer Science
Comparative Study of Multilingual Idioms and Similes in Large Language Models
Paria Khoshtab, Danial Namazifard, Mostafa Masoudi, Ali Akhgary +2
2025-03-11
Logic in Computer Science · Computer Science
Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games
Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
2020-02-21
Audio and Speech Processing · Electrical Eng. & Systems
Llasa: Scaling Train-Time and Inference-Time Compute for Llama-based Speech Synthesis
Zhen Ye, Xinfa Zhu, Chi-Min Chan, Xinsheng Wang +16
2025-02-25