DFMonad Support for dataflow analysis and dataflow-based
transformation. This module needs work. Includes
DataflowLattice - for tracking dataflow facts (good)
DFMonad Support for dataflow analysis and dataflow-based
transformation. This module needs work. Includes
DataflowLattice - for tracking dataflow facts (good)
DFM - monad for iterative dataflow analysis and rewriting (OK)
DFTx - monad to track Whalley/Davidson transactions (ugly)
type class DataflowAnalysis - operations common to DFA, DFM
DFM - monad for iterative dataflow analysis and rewriting (OK)
DFTx - monad to track Whalley/Davidson transactions (ugly)
type class DataflowAnalysis - operations common to DFA, DFM