Published May 4, 2020
| Version v1
Other
Open
Additional proofs and code for "Data-flow analyses as effects and graded monads"
- 1. University of Cambridge
- 2. University of Kent
Description
This deposit provides code and additional proofs associated to the paper "Data-flow analyses as effects and graded monads" appearing at FSCD 2020 (5th International Conference On Formal Structures for Computation and Deduction).
-
- GradedMonad.agda provides further mechanised proofs, referred to from extra-proofs.pdf
- dataflow-effects-as-grades-fscd2020.zip provides the source code corresponding to Section 4.4 and Appendix B
- The code is hosted on GitHub as well: https://github.com/dorchard/dataflow-effects-as-grades
- This .zip corresponds to this release https://github.com/dorchard/dataflow-effects-as-grades/releases/tag/fscd2020
- Unzip and see README.md for details on how to build and interact with this code
Files
dataflow-effects-as-grades-fscd2020.zip
Additional details
Related works
- Is supplement to
- Conference paper: 10.4230/LIPIcs.FSCD.2020.15 (DOI)