Downloads & Free Reading Options - Results

Syntax And Analytic Semantics Of Lisa by Jade Alglave

Read "Syntax And Analytic Semantics Of Lisa" by Jade Alglave through these free online access and download options.

Search for Downloads

Search by Title or Author

Books Results

Source: The Internet Archive

The internet Archive Search Results

Available books for downloads and borrow from The internet Archive

1Syntax And Analytic Semantics Of LISA

By

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.

“Syntax And Analytic Semantics Of LISA” Metadata:

  • Title: ➤  Syntax And Analytic Semantics Of LISA
  • Authors:

“Syntax And Analytic Semantics Of LISA” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 1.13 Mbs, the file-s for this book were downloaded 19 times, the file-s went public at Fri Jun 29 2018.

Available formats:
Archive BitTorrent - Metadata - Text PDF -

Related Links:

Online Marketplaces

Find Syntax And Analytic Semantics Of LISA at online marketplaces:


Top of Page

Buy “Syntax And Analytic Semantics Of Lisa” online:

Shop for “Syntax And Analytic Semantics Of Lisa” on popular online marketplaces.