A Reentrancy Analysis for object oriented programs

FTfJP 2007: ECOOP Workshop on Formal Techiques for Java-like Programs - jul 2007
Download the publication : paper_14.pdf [229Ko]  

BibTex references

@InProceedings\{FGS07,
  author       = "F{\"a}ndrich, Manuel and Garbervetsky, Diego and Schulte, Wolfram",
  title        = "A Reentrancy Analysis for object oriented programs",
  booktitle    = "FTfJP 2007: ECOOP Workshop on Formal Techiques for Java-like Programs",
  month        = "jul",
  year         = "2007",
  url          = "http://publicaciones.dc.uba.ar/Publications/2007/FGS07"
}

Other publications in the database

» Manuel Fändrich
» Diego Garbervetsky
» Wolfram Schulte