Other Open Access

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

Andrej Ivaskovic; Alan Mycroft; Dominic Orchard


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Andrej Ivaskovic</dc:creator>
  <dc:creator>Alan Mycroft</dc:creator>
  <dc:creator>Dominic Orchard</dc:creator>
  <dc:date>2020-05-04</dc:date>
  <dc: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).


	
	
	
	extra-proofs.pdf provides additional proofs not included in the appendix of the published paper for space reasons.
	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
	
	
</dc:description>
  <dc:identifier>https://zenodo.org/record/3784967</dc:identifier>
  <dc:identifier>10.5281/zenodo.3784967</dc:identifier>
  <dc:identifier>oai:zenodo.org:3784967</dc:identifier>
  <dc:relation>doi:10.4230/LIPIcs.FSCD.2020.15</dc:relation>
  <dc:relation>doi:10.5281/zenodo.3784966</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>https://creativecommons.org/licenses/by/4.0/legalcode</dc:rights>
  <dc:subject>data-flow analysis</dc:subject>
  <dc:subject>effect systems</dc:subject>
  <dc:subject>graded monads</dc:subject>
  <dc:subject>correctness</dc:subject>
  <dc:title>Additional proofs and code for "Data-flow analyses as effects and graded monads"</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>other</dc:type>
</oai_dc:dc>
137
35
views
downloads
All versions This version
Views 137137
Downloads 3535
Data volume 9.9 MB9.9 MB
Unique views 120120
Unique downloads 2121

Share

Cite as