10.5281/zenodo.4777349
https://zenodo.org/records/4777349
oai:zenodo.org:4777349
Anonymous
Anonymous
Anonymous
Compositional Optimizations for CertiCoq
Zenodo
2021
2021-05-20
10.5281/zenodo.4777348
Creative Commons Attribution 4.0 International
Artifact for the ICFP21 conditionally accepted paper "Compositional Optimizations for CertiCoq".
Files
artifact.tgz : The artifact file, as provided by the AE committee, containing the VM image with the artifact and all its dependencies installed. The file README.md inside the artifact directory provides instructions for installing, executing, and understanding the artifact.
certicoq.tgz : The sources of the CertiCoq compiler.