Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published March 9, 2023 | Version v1
Software Open

PLDI23 artifact for Fair Operational Semantics

Creators

Description

Coq development for Fair Operational Semantics. Contains source files and a docker image.

Files

fairness-source.zip

Files (1.2 GB)

Name Size Download all
md5:f82b7e3f4d98a26bd74a8e3d98f7b607
460.1 kB Preview Download
md5:3562e98d166e9a54eaae8ff94a7e3d36
1.2 GB Preview Download
md5:31e8b67dc4f9df351b9bde64f3bf257b
5.2 kB Preview Download