Solving multiple dataflow queries using wpdss (0)

by A Lal, T W Reps
Venue:In 15th International Symposium on Static Analysis, SAS 2008