There is a newer version of this record available.

Software Open Access

Artifact for Staged Abstract Interpreters (OOPSLA 2019)

Wei, Guannan; Chen, Yuxuan; Rompf, Tiark

The artifact for Staged Abstract Interpreters (OOPSLA 2019).

Files (18.0 MB)
Name Size
sai-oopsla19.zip
md5:30e9a70109db25e4b79ec3ad2ba84530 		18.0 MB Download
92
22
views
downloads
All versions This version
Views 9226
Downloads 2210
Data volume 235.9 MB180.1 MB
Unique views 6721
Unique downloads 97
More info on how stats are collected.
Indexed in
Publication date:
August 21, 2019
DOI:
10.5281/zenodo.3374032

Zenodo DOI Badge

DOI 

10.5281/zenodo.3374032

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1.02 10.5281/zenodo.3374034 Aug 21, 2019
Version 1.01 10.5281/zenodo.3374033 Aug 21, 2019
Version 1.0 10.5281/zenodo.3374032 Aug 21, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3374031. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export