"Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced ..."

Jong-Deok Choi, Michael G. Burke, Paul R. Carini (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics