A Systematic Approach to Probabilistic Pointer Analysis.

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

Browse the full APLAS paper archive.