Data-flow analyses as effects and graded monads

A Ivašković, Alan Mycroft & D Orchard
In static analysis, two frameworks have been studied extensively: monotone data-flow analysis and type-and-effect systems. Whilst both are seen as general analysis frameworks, their relationship has remained unclear. Here we show that monotone data-flow analyses can be encoded as effect systems in a uniform way, via algebras of transfer functions. This helps to answer questions about the most appropriate structure for general effect algebras, especially with regards capturing control-flow precisely. Via the perspective of capturing...
1 citation reported since publication in 2020.
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.