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

Share

Cite as