Unification-based Pointer Analysis without Oversharing.

Jakub Kuderski, Jorge A. Navas, Arie Gurfinkel

Browse the full FMCAD paper archive.