Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects.

Jong-Deok Choi, Michael G. Burke, Paul R. Carini

Browse the full POPL paper archive.