Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis

Publication
European Symposium on Programming (ESOP)