Software Open Access

Software Artifact Accompanying the Article "Modular Verification for Almost-Sure Termination of Probabilistic Programs"

Kafshdar Goharshady, Amir


JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<p>This package contains code and data needed for reproducing results reported in the following paper:</p>\n\n<p>&nbsp;</p>\n\n<p>Modular Verification for Almost-Sure Termination of Probabilistic Programs<br>\nM. Huang, H. Fu, K. Chatterjee, A. Goharshady</p>\n\n<p>To appear in OOPSLA 2019</p>", 
  "license": "https://unlicense.org/", 
  "creator": [
    {
      "affiliation": "IST Austria", 
      "@type": "Person", 
      "name": "Kafshdar Goharshady, Amir"
    }
  ], 
  "url": "https://zenodo.org/record/3363977", 
  "datePublished": "2019-08-08", 
  "version": "1", 
  "@type": "SoftwareSourceCode", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.3363977", 
  "@id": "https://doi.org/10.5281/zenodo.3363977", 
  "workFeatured": {
    "url": "https://conf.researchr.org/track/splash-2019/splash-2019-oopsla", 
    "alternateName": "OOPSLA", 
    "location": "Athens, Greece", 
    "@type": "Event", 
    "name": "ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications"
  }, 
  "name": "Software Artifact Accompanying the Article \"Modular Verification for Almost-Sure Termination of Probabilistic Programs\""
}
130
55
views
downloads
All versions This version
Views 130130
Downloads 5555
Data volume 2.4 MB2.4 MB
Unique views 118118
Unique downloads 2626

Share

Cite as