Paper Info
Title
Syntax and analytic semantics of LISA.
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.
Year
Venue
Field
2016
arXiv: Programming Languages
Programming language,Computer science,Instruction set,Litmus,Assembly language,Artificial intelligence,Natural language processing,Weak consistency,Syntax,Semantics
DocType
Volume
Citations 
Journal
abs/1608.06583
3
PageRank 
References 
Authors
0.43
7
2
Name
Order
Citations
PageRank
Jade Alglave160826.53
Patrick Cousot27721574.52