Documentation

liveness :: [Node] -> CFG -> Map Node Liveness Source #

type Liveness = Set AccessPath Source #

livenessProblem :: [Node] -> CFG -> Dataflow Node EdgeType Liveness Source #