Other Open Access

Additional proofs and code for "Data-flow analyses as effects and graded monads"

Andrej Ivaskovic; Alan Mycroft; Dominic Orchard


JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/0d9cd0aa-86f2-4298-b970-7c7d4a9b8ff3/dataflow-effects-as-grades-fscd2020.zip"
      }, 
      "checksum": "md5:eada1d7041c6a272461288d1eb87d500", 
      "bucket": "0d9cd0aa-86f2-4298-b970-7c7d4a9b8ff3", 
      "key": "dataflow-effects-as-grades-fscd2020.zip", 
      "type": "zip", 
      "size": 5428
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0d9cd0aa-86f2-4298-b970-7c7d4a9b8ff3/extra-proofs.pdf"
      }, 
      "checksum": "md5:188649e5a084f5305cbf7a552837ada3", 
      "bucket": "0d9cd0aa-86f2-4298-b970-7c7d4a9b8ff3", 
      "key": "extra-proofs.pdf", 
      "type": "pdf", 
      "size": 387988
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0d9cd0aa-86f2-4298-b970-7c7d4a9b8ff3/GradedMonad.agda"
      }, 
      "checksum": "md5:e479c03d2314056f9c8a61701ad87450", 
      "bucket": "0d9cd0aa-86f2-4298-b970-7c7d4a9b8ff3", 
      "key": "GradedMonad.agda", 
      "type": "agda", 
      "size": 26823
    }
  ], 
  "owners": [
    100736
  ], 
  "doi": "10.5281/zenodo.3784967", 
  "stats": {
    "version_unique_downloads": 21.0, 
    "unique_views": 120.0, 
    "views": 137.0, 
    "version_views": 137.0, 
    "unique_downloads": 21.0, 
    "version_unique_views": 120.0, 
    "volume": 9925140.0, 
    "version_downloads": 35.0, 
    "downloads": 35.0, 
    "version_volume": 9925140.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.3784967", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.3784966", 
    "bucket": "https://zenodo.org/api/files/0d9cd0aa-86f2-4298-b970-7c7d4a9b8ff3", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.3784966.svg", 
    "html": "https://zenodo.org/record/3784967", 
    "latest_html": "https://zenodo.org/record/3784967", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.3784967.svg", 
    "latest": "https://zenodo.org/api/records/3784967"
  }, 
  "conceptdoi": "10.5281/zenodo.3784966", 
  "created": "2020-05-04T22:36:50.723558+00:00", 
  "updated": "2020-06-29T15:01:45.768181+00:00", 
  "conceptrecid": "3784966", 
  "revision": 2, 
  "id": 3784967, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.3784967", 
    "description": "<p>This deposit provides code and additional proofs associated to the paper &quot;Data-flow analyses as effects and graded monads&quot; appearing at FSCD 2020 (5th International Conference On Formal Structures for Computation and Deduction).</p>\n\n<ul>\n\t<li>\n\t<ul>\n\t</ul>\n\t<strong>extra-proofs.pdf&nbsp;</strong>provides additional proofs not included in the appendix of the published paper for space reasons.</li>\n\t<li><strong>GradedMonad.agda&nbsp;</strong>provides further mechanised proofs, referred to&nbsp;from extra-proofs.pdf</li>\n\t<li><strong>dataflow-effects-as-grades-fscd2020.zip&nbsp;</strong>provides the source code corresponding to Section 4.4 and Appendix B\n\t<ul>\n\t\t<li>The code is hosted on GitHub as well:&nbsp;<a href=\"https://github.com/dorchard/dataflow-effects-as-grades\">https://github.com/dorchard/dataflow-effects-as-grades</a></li>\n\t\t<li>This .zip corresponds to this release&nbsp;<a href=\"https://github.com/dorchard/dataflow-effects-as-grades/releases/tag/fscd2020\">https://github.com/dorchard/dataflow-effects-as-grades/releases/tag/fscd2020</a></li>\n\t\t<li>Unzip and see README.md for details on how to build and interact with this code</li>\n\t</ul>\n\t</li>\n</ul>", 
    "license": {
      "id": "CC-BY-4.0"
    }, 
    "title": "Additional proofs and code for \"Data-flow analyses as effects and graded monads\"", 
    "relations": {
      "version": [
        {
          "count": 1, 
          "index": 0, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "3784966"
          }, 
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "3784967"
          }
        }
      ]
    }, 
    "keywords": [
      "data-flow analysis", 
      "effect systems", 
      "graded monads", 
      "correctness"
    ], 
    "publication_date": "2020-05-04", 
    "creators": [
      {
        "orcid": "0000-0002-1347-4884", 
        "affiliation": "University of Cambridge", 
        "name": "Andrej Ivaskovic"
      }, 
      {
        "orcid": "0000-0001-7013-8572", 
        "affiliation": "University of Cambridge", 
        "name": "Alan Mycroft"
      }, 
      {
        "orcid": "0000-0002-7058-7842", 
        "affiliation": "University of Kent", 
        "name": "Dominic Orchard"
      }
    ], 
    "meeting": {
      "acronym": "FSCD", 
      "dates": "June 29 - July 6, 2020", 
      "title": "International Conference On Formal Structures for Computation and Deduction"
    }, 
    "access_right": "open", 
    "resource_type": {
      "type": "other", 
      "title": "Other"
    }, 
    "related_identifiers": [
      {
        "scheme": "doi", 
        "identifier": "10.4230/LIPIcs.FSCD.2020.15", 
        "relation": "isSupplementTo", 
        "resource_type": "publication-conferencepaper"
      }, 
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.3784966", 
        "relation": "isVersionOf"
      }
    ]
  }
}
137
35
views
downloads
All versions This version
Views 137137
Downloads 3535
Data volume 9.9 MB9.9 MB
Unique views 120120
Unique downloads 2121

Share

Cite as