Published July 31, 2024
| Version v2
Software
Open
Parikh's Theorem Made Symbolic: Artifact
- 1. Royal Holloway, University of London
- 2. University of Wroclaw
- 3. U Kaiserslautern and Max-Planck Institute for Software Systems
Description
Artifact for POPL 2024 submission "Parikh's Theorem Made Symbolic". Contains source code and a disk image for running benchmarks. Updated post-publication.
Files
README.md
Files
(3.9 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:42b017a14537a268a20f3e1a133be2cd
|
2.7 kB | Preview Download |
|
md5:73476cbb2007206b0bb654ba94fc5b3b
|
3.9 GB | Download |
|
md5:d4e37d63000bb1793ddef44c6fe30d30
|
294.2 kB | Download |