Software Open Access

Artifact for Staged Abstract Interpreters (OOPSLA 2019)

Wei, Guannan; Chen, Yuxuan; Rompf, Tiark


JSON-LD (schema.org) Export

{
  "description": "<p>The artifact for&nbsp;Staged Abstract Interpreters (OOPSLA 2019).</p>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "@type": "Person", 
      "name": "Wei, Guannan"
    }, 
    {
      "@type": "Person", 
      "name": "Chen, Yuxuan"
    }, 
    {
      "@type": "Person", 
      "name": "Rompf, Tiark"
    }
  ], 
  "url": "https://zenodo.org/record/3374034", 
  "datePublished": "2019-08-21", 
  "version": "1.02", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.3374034", 
  "@id": "https://doi.org/10.5281/zenodo.3374034", 
  "@type": "SoftwareSourceCode", 
  "name": "Artifact for Staged Abstract Interpreters (OOPSLA 2019)"
}
92
22
views
downloads
All versions This version
Views 9247
Downloads 227
Data volume 235.9 MB5.5 MB
Unique views 6743
Unique downloads 95

Share

Cite as