Other Open Access

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

Andrej Ivaskovic; Alan Mycroft; Dominic Orchard


JSON-LD (schema.org) Export

{
  "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": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "University of Cambridge", 
      "@id": "https://orcid.org/0000-0002-1347-4884", 
      "@type": "Person", 
      "name": "Andrej Ivaskovic"
    }, 
    {
      "affiliation": "University of Cambridge", 
      "@id": "https://orcid.org/0000-0001-7013-8572", 
      "@type": "Person", 
      "name": "Alan Mycroft"
    }, 
    {
      "affiliation": "University of Kent", 
      "@id": "https://orcid.org/0000-0002-7058-7842", 
      "@type": "Person", 
      "name": "Dominic Orchard"
    }
  ], 
  "url": "https://zenodo.org/record/3784967", 
  "datePublished": "2020-05-04", 
  "@type": "CreativeWork", 
  "keywords": [
    "data-flow analysis", 
    "effect systems", 
    "graded monads", 
    "correctness"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.3784967", 
  "@id": "https://doi.org/10.5281/zenodo.3784967", 
  "workFeatured": {
    "alternateName": "FSCD", 
    "@type": "Event", 
    "name": "International Conference On Formal Structures for Computation and Deduction"
  }, 
  "name": "Additional proofs and code for \"Data-flow analyses as effects and graded monads\""
}
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