Data-flow based graph algorithms using the Control.Etage framework, showcasing its use for data-flow computations.