Online Cycle Detection and Difference Propagation for Pointer Analysis.

David J. Pearce, Paul H. J. Kelly, Chris Hankin

Browse the full SCAM paper archive.