Online Cycle Detection and Difference Propagation for Pointer Analysis

David J. Pearce, Paul H. J. Kelly, Chris Hankin. Online Cycle Detection and Difference Propagation for Pointer Analysis. In 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands. pages 3-12, IEEE Computer Society, 2003. [doi]

Abstract

Abstract is missing.