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
More info on how stats are collected.
Indexed in
Publication date:
August 8, 2019
DOI:
10.5281/zenodo.3363977

Zenodo DOI Badge

DOI 

10.5281/zenodo.3363977

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Meeting:
ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Athens, Greece, 2019
License (for files):
The Unlicense

Versions

Version 1 10.5281/zenodo.3363977 Aug 8, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3363976. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export