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": [
  "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)"
All versions This version
Views 136136
Downloads 3535
Data volume 9.9 MB9.9 MB
Unique views 119119
Unique downloads 2121


Cite as