Parallel flow-sensitive pointer analysis by graph-rewriting | IEEE Conference Publication | IEEE Xplore