Annotations for (more) Precise Points-to Analysis

In  IWACO 2007

Details

TypeProceedings
URLhttp://people.dsv.su.se/~tobias/iwaco/p4-barnett.pdf
> Publications > Annotations for (more) Precise Points-to Analysis