Planned intervention: On Wednesday June 26th 05:30 UTC Zenodo will be unavailable for 10-20 minutes to perform a storage cluster upgrade.
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).

Files

dataflow-effects-as-grades-fscd2020.zip

Files (420.2 kB)

Name Size Download all
md5:eada1d7041c6a272461288d1eb87d500
5.4 kB Preview Download
md5:188649e5a084f5305cbf7a552837ada3
388.0 kB Preview Download
md5:e479c03d2314056f9c8a61701ad87450
26.8 kB Download

Additional details

Related works

Is supplement to
Conference paper: 10.4230/LIPIcs.FSCD.2020.15 (DOI)