Other Open Access
Additional proofs and code for "Data-flow analyses as effects and graded monads"
Andrej Ivaskovic;
Alan Mycroft;
Dominic Orchard
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
(420.2 kB)
| Name | Size | |
|---|---|---|
|
dataflow-effects-as-grades-fscd2020.zip
md5:eada1d7041c6a272461288d1eb87d500 |
5.4 kB | Download |
|
extra-proofs.pdf
md5:188649e5a084f5305cbf7a552837ada3 |
388.0 kB | Download |
|
GradedMonad.agda
md5:e479c03d2314056f9c8a61701ad87450 |
26.8 kB | Download |
136
35
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 136 | 136 |
| Downloads | 35 | 35 |
| Data volume | 9.9 MB | 9.9 MB |
| Unique views | 119 | 119 |
| Unique downloads | 21 | 21 |
Indexed in
- Publication date:
- May 4, 2020
- DOI:
-
- Keyword(s):
- data-flow analysis effect systems graded monads correctness
- Meeting:
- International Conference On Formal Structures for Computation and Deduction (FSCD), June 29 - July 6, 2020
- Related identifiers:
- Supplement to
- 10.4230/LIPIcs.FSCD.2020.15 (Conference paper)
- License (for files):
- Creative Commons Attribution 4.0 International