Efficient field-sensitive pointer analysis of C

David J. Pearce, Paul H. J. Kelly, Chris Hankin. Efficient field-sensitive pointer analysis of C. ACM Transactions on Programming Languages and Systems, 30(1):4, 2007. [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