Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis

David J. Pearce, Paul H. J. Kelly, Chris Hankin. Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis. Software Quality Journal, 12(4):311-337, 2004. [doi]

Abstract

Abstract is missing.