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]

Authors

David J. Pearce

This author has not been identified. Look up 'David J. Pearce' in Google

Paul H. J. Kelly

This author has not been identified. Look up 'Paul H. J. Kelly' in Google

Chris Hankin

This author has not been identified. Look up 'Chris Hankin' in Google