There is a newer version of this record available.

Journal article Open Access

Compositional Optimizations for CertiCoq

Anonymous

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. 

Files (2.1 GB)
Name Size
artifact.tgz
md5:0a8065f0743594190986ce4e039e8c12 		2.0 GB Download
certicoq.tgz
md5:baa7f1761d904d648138db7f616a0808 		142.0 MB Download
150
20
views
downloads
All versions This version
Views 150116
Downloads 2020
Data volume 23.1 GB23.1 GB
Unique views 10990
Unique downloads 1717
More info on how stats are collected.
Indexed in
Publication date:
May 20, 2021
DOI:
10.5281/zenodo.4777349

Zenodo DOI Badge

DOI 

10.5281/zenodo.4777349

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 2 10.5281/zenodo.5103655 May 20, 2021
Version 1 10.5281/zenodo.4777349 May 20, 2021
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4777348. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export