Pointer Analysis Related Publications
Pedro C.Diniz,
"Increasing the Accuracy of Shape and Safety Analysis for Pointer-based Codes"
In Proc. of the Sixteenth Workshop on Languages and Compilers for Parallel Computing (LCPC'03), Berlin, Oct. 2003.