Synthesizing parametric specifications of dynamic memory utilization in object oriented programs

FTfJP 2005: 7th Workshop on Formal Techiques for Java-like Programs - jul 2005
Download the publication : BGY_FTJP2005.pdf [320Ko]   BGY_MemorySynthesisFTFJP.ppt [496Ko]  

BibTex references

@InProceedings\{BGY05,
  author       = "Braberman, V\'{\i}ctor and Garbervetsky, Diego and Yovine, Sergio",
  title        = "Synthesizing parametric specifications of dynamic memory utilization in object oriented programs",
  booktitle    = "FTfJP 2005: 7th Workshop on Formal Techiques for Java-like Programs",
  month        = "jul",
  year         = "2005",
  address      = "Glasgow, UK",
  url          = "http://publicaciones.dc.uba.ar/Publications/2005/BGY05"
}

Other publications in the database

» Víctor Braberman
» Diego Garbervetsky
» Sergio Yovine