Other Open Access

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

Andrej Ivaskovic; Alan Mycroft; Dominic Orchard


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3784967", 
  "title": "Additional proofs and code for \"Data-flow analyses as effects and graded monads\"", 
  "issued": {
    "date-parts": [
      [
        2020, 
        5, 
        4
      ]
    ]
  }, 
  "abstract": "<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>", 
  "author": [
    {
      "family": "Andrej Ivaskovic"
    }, 
    {
      "family": "Alan Mycroft"
    }, 
    {
      "family": "Dominic Orchard"
    }
  ], 
  "id": "3784967", 
  "type": "article", 
  "event": "International Conference On Formal Structures for Computation and Deduction (FSCD)"
}
136
35
views
downloads
All versions This version
Views 136136
Downloads 3535
Data volume 9.9 MB9.9 MB
Unique views 119119
Unique downloads 2121

Share

Cite as