A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption

Journal of Object Technology, Volume 5, Number 5, page 31--58 - jun 2006
Download the publication : BGY-JOT-06.pdf [669Ko]  

BibTex references

@Article\{BGY06,
  author       = "Braberman, V\'{\i}ctor and Garbervetsky, Diego and Yovine, Sergio",
  title        = "A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption",
  journal      = "Journal of Object Technology",
  number       = "5",
  volume       = "5",
  pages        = "31--58",
  month        = "jun",
  year         = "2006",
  editor       = "Richard Wiener",
  publisher    = "Bertrand Meyer, ETH Z{\"u}rich, Switzerland",
  note         = "http://www.jot.fm/issues/issue_2006_06/article2.pdf",
  url          = "http://publicaciones.dc.uba.ar/Publications/2006/BGY06"
}

Other publications in the database

» Víctor Braberman
» Diego Garbervetsky
» Sergio Yovine