A generic worklist algorithm for graph reachability problems in program analysis | IEEE Conference Publication | IEEE Xplore