Automatic Certification of Heap Consumption. Beringer, L., Hofmann 0001, M., Momigliano, A., & Shkaravska, O. In Proceedings of Logic Programming and Automated Reasoning (LPAR), pages 347-362, 2004.
Automatic Certification of Heap Consumption [link]Paper  bibtex   
@inproceedings{ dblp4125727,
  title = {Automatic Certification of Heap Consumption},
  author = {Lennart Beringer and Martin Hofmann 0001 and Alberto Momigliano and Olha Shkaravska},
  author_short = {Beringer, L. and Hofmann 0001, M. and Momigliano, A. and Shkaravska, O.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2004},
  key = {dblp4125727},
  id = {dblp4125727},
  biburl = {http://www.dblp.org/rec/bibtex/conf/lpar/BeringerHMS04},
  url = {http://dx.doi.org/10.1007/978-3-540-32275-7_23},
  conference = {LPAR},
  pages = {347-362},
  text = {LPAR 2004:347-362},
  booktitle = {Proceedings of Logic Programming and Automated Reasoning (LPAR)}
}

Downloads: 0