Software Open Access

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

Kafshdar Goharshady, Amir


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3363977", 
  "language": "eng", 
  "title": "Software Artifact Accompanying the Article \"Modular Verification for Almost-Sure Termination of Probabilistic Programs\"", 
  "issued": {
    "date-parts": [
      [
        2019, 
        8, 
        8
      ]
    ]
  }, 
  "abstract": "<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>", 
  "author": [
    {
      "family": "Kafshdar Goharshady, Amir"
    }
  ], 
  "id": "3363977", 
  "event-place": "Athens, Greece", 
  "version": "1", 
  "type": "article", 
  "event": "ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)"
}
129
55
views
downloads
All versions This version
Views 129129
Downloads 5555
Data volume 2.4 MB2.4 MB
Unique views 117117
Unique downloads 2626

Share

Cite as