Annotations for (more) Precise Points-to Analysis

IWACO 2007: ECOOP International Workshop on Aliasing, Confinement and Ownership in object-oriented programming - jul 2007
Download the publication : garber07IWACO.pdf [183Ko]  

BibTex references

@InProceedings\{BFGL07,
  author       = "Barnett, Mike and F{\"a}ndrich, Manuel and Garbervetsky, Diego and Logozzo, Francesco",
  title        = "Annotations for (more) Precise Points-to Analysis",
  booktitle    = "IWACO 2007: ECOOP International Workshop on Aliasing, Confinement and Ownership in object-oriented programming",
  month        = "jul",
  year         = "2007",
  url          = "http://publicaciones.dc.uba.ar/Publications/2007/BFGL07"
}

Other publications in the database

» Manuel Fändrich
» Diego Garbervetsky