Summary-based inference of quantitative bounds of live heap objects

Víctor Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine
Science of Computer Programming (SCP), Volume 92(A), page 56--84 - 2014
Download the publication : SCP-Garbervetsky-final.pdf [643Ko]  

BibTex references

@Article\{BGHY14,
  author       = "Braberman, V\'{\i}ctor and Garbervetsky, Diego and Hym, Samuel and Yovine, Sergio",
  title        = "Summary-based inference of quantitative bounds of live heap objects",
  journal      = "Science of Computer Programming (SCP)",
  volume       = "92(A)",
  pages        = "56--84",
  year         = "2014",
  publisher    = "Elsevier",
  url          = "http://publicaciones.dc.uba.ar/Publications/2014/BGHY14"
}

Other publications in the database

» Víctor Braberman
» Diego Garbervetsky
» Sergio Yovine