N Naus, P Thiemann - International Symposium on Trends in Functional …, 2016 - Springer
Static flow analyses compute a safe approximation of a program's dataflow without executing it. Dynamic flow analyses compute a similar safe approximation by running the …