Multithreaded Pointer Analysis Based on Petri Net.

Fei Liu, Bixin Li

Browse the full SEKE paper archive.