Software Open Access

Artifact for Staged Abstract Interpreters (OOPSLA 2019)

Wei, Guannan; Chen, Yuxuan; Rompf, Tiark

BibTeX Export

@software{wei_guannan_2019_3374034,
  author       = {Wei, Guannan and
                  Chen, Yuxuan and
                  Rompf, Tiark},
  title        = {{Artifact for Staged Abstract Interpreters (OOPSLA 
                   2019)}},
  month        = aug,
  year         = 2019,
  note         = {This version removes the .git folder.},
  publisher    = {Zenodo},
  version      = {1.02},
  doi          = {10.5281/zenodo.3374034},
  url          = {https://doi.org/10.5281/zenodo.3374034}
}
91
22
views
downloads
All versions This version
Views 9146
Downloads 227
Data volume 235.9 MB5.5 MB
Unique views 6642
Unique downloads 95
More info on how stats are collected.
Indexed in
Publication date:
August 21, 2019
DOI:
10.5281/zenodo.3374034

Zenodo DOI Badge

DOI 

10.5281/zenodo.3374034

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

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