Interprocedural May-Alias Analysis for Pointers: Beyond

Alain Deutsch

Browse the full PLDI paper archive.