Software Open Access

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

Kafshdar Goharshady, Amir


MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="http://www.loc.gov/MARC21/slim">
  <leader>00000nmm##2200000uu#4500</leader>
  <datafield tag="041" ind1=" " ind2=" ">
    <subfield code="a">eng</subfield>
  </datafield>
  <controlfield tag="005">20200125072358.0</controlfield>
  <controlfield tag="001">3363977</controlfield>
  <datafield tag="711" ind1=" " ind2=" ">
    <subfield code="d">2019</subfield>
    <subfield code="g">OOPSLA</subfield>
    <subfield code="a">ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications</subfield>
    <subfield code="c">Athens, Greece</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">12671</subfield>
    <subfield code="z">md5:a433465a1e285f440c34e1f3660d682d</subfield>
    <subfield code="u">https://zenodo.org/record/3363977/files/examples.zip</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1235</subfield>
    <subfield code="z">md5:4cc4493565e07891a65c04aede0ebe1c</subfield>
    <subfield code="u">https://zenodo.org/record/3363977/files/LICENSE.txt</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">231356</subfield>
    <subfield code="z">md5:5e3e9b5e25bc9b33f2935813318f5dcf</subfield>
    <subfield code="u">https://zenodo.org/record/3363977/files/main.jar</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">4612</subfield>
    <subfield code="z">md5:24e6e3337126478aa790cb97038a6978</subfield>
    <subfield code="u">https://zenodo.org/record/3363977/files/README.txt</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">16764</subfield>
    <subfield code="z">md5:5d96ca104c8e6d1567eea4c220013558</subfield>
    <subfield code="u">https://zenodo.org/record/3363977/files/src.zip</subfield>
  </datafield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="y">Conference website</subfield>
    <subfield code="u">https://conf.researchr.org/track/splash-2019/splash-2019-oopsla</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2019-08-08</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">software</subfield>
    <subfield code="o">oai:zenodo.org:3363977</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">IST Austria</subfield>
    <subfield code="a">Kafshdar Goharshady, Amir</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Software Artifact Accompanying the Article "Modular Verification for Almost-Sure Termination of Probabilistic Programs"</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u">https://unlicense.org/</subfield>
    <subfield code="a">The Unlicense</subfield>
  </datafield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2">opendefinition.org</subfield>
  </datafield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&lt;p&gt;This package contains code and data needed for reproducing results reported in the following paper:&lt;/p&gt;

&lt;p&gt;&amp;nbsp;&lt;/p&gt;

&lt;p&gt;Modular Verification for Almost-Sure Termination of Probabilistic Programs&lt;br&gt;
M. Huang, H. Fu, K. Chatterjee, A. Goharshady&lt;/p&gt;

&lt;p&gt;To appear in OOPSLA 2019&lt;/p&gt;</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.3363976</subfield>
  </datafield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.3363977</subfield>
    <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">software</subfield>
  </datafield>
</record>
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