graph representations of dataflow programs