Software Open Access

weakmemory/pwt: PwT v1.0.0: POPL 2022 artifact

Anton Podkopaev; Ilya Kaysin; Simon Cooksey

Quick links

  • Webpage of the project: online;
  • VirtualBox image of the artifact: online.

This repository contains Coq code supplementing the paper Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency by Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, and Anton Podkopaev.

Files (64.4 kB)
Name Size
weakmemory/pwt-1.0.0.zip
md5:ccfd6fe5b3a9acf11e2e3b829ca16889 		64.4 kB Download
88
4
views
downloads
All versions This version
Views 8888
Downloads 44
Data volume 257.8 kB257.8 kB
Unique views 8383
Unique downloads 44
More info on how stats are collected.
Available in Indexed in
Publication date:
November 11, 2021
DOI:
10.5281/zenodo.5675056

Zenodo DOI Badge

DOI 

10.5281/zenodo.5675056

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.5675056.svg)](https://doi.org/10.5281/zenodo.5675056)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.5675056.svg
   :target: https://doi.org/10.5281/zenodo.5675056

HTML 

<a href="https://doi.org/10.5281/zenodo.5675056"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.5675056.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.5675056.svg

Target URL 

https://doi.org/10.5281/zenodo.5675056

Related identifiers:
Supplement to
License (for files):
Other (Open)

Versions

Version 1.0.0 10.5281/zenodo.5675056 Nov 11, 2021
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.5675055. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export