Analysing Dataflow Programs with Causation Traces
Stream processing applications are naturally described as dataflow programs. Dataflow programs modelled as actor networks are well suited to describe concurrent and computationally intensive problems. Realistic dataflow programs are typically characterized by highly dynamic behaviour, limiting the applicability of static analysis techniques. In this work we explore using dynamic analyses of datafl