Microsoft Research
Microsoft Translator |
Annotations for (more) Precise Points-to Analysis

Mike Barnett, Manuel Fahndrich, Diego Garbervetsky, and Francesco Logozzo
2007

In  IWACO 2007

Details

TypeProceedings
URLhttp://people.dsv.su.se/~tobias/iwaco/p4-barnett.pdf
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Annotations for (more) Precise Points-to Analysis