Login / Signup

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

Jong-Deok ChoiMichael G. BurkePaul R. Carini
Published in: POPL (1993)
Keyphrases