Summary-based inference of quantitative ...
Document type :
Article dans une revue scientifique: Article original
Title :
Summary-based inference of quantitative bounds of live heap objects
Author(s) :
Braberman, Víctor [Auteur]
Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires] [CONICET]
Laboratory on Foundations and Tools for Software Engineering [Buenos Aires] [LAFHIS]
Garbervetsky, Diego [Auteur]
Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires] [CONICET]
Laboratory on Foundations and Tools for Software Engineering [Buenos Aires] [LAFHIS]
Hym, Samuel [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Extra Small Extra Safe [2XS]
Yovine, Sergio [Auteur]
Laboratory on Foundations and Tools for Software Engineering [Buenos Aires] [LAFHIS]
Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires] [CONICET]
Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires] [CONICET]
Laboratory on Foundations and Tools for Software Engineering [Buenos Aires] [LAFHIS]
Garbervetsky, Diego [Auteur]
Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires] [CONICET]
Laboratory on Foundations and Tools for Software Engineering [Buenos Aires] [LAFHIS]
Hym, Samuel [Auteur]

Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Extra Small Extra Safe [2XS]
Yovine, Sergio [Auteur]
Laboratory on Foundations and Tools for Software Engineering [Buenos Aires] [LAFHIS]
Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires] [CONICET]
Journal title :
Science of Computer Programming
Pages :
56–84
Publisher :
Elsevier
Publication date :
2014-10
ISSN :
0167-6423
HAL domain(s) :
Informatique [cs]/Langage de programmation [cs.PL]
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Files
- https://doi.org/10.1016/j.scico.2013.11.036
- Open access
- Access the document
- https://doi.org/10.1016/j.scico.2013.11.036
- Open access
- Access the document
- https://doi.org/10.1016/j.scico.2013.11.036
- Open access
- Access the document
- https://doi.org/10.1016/j.scico.2013.11.036
- Open access
- Access the document
- https://doi.org/10.1016/j.scico.2013.11.036
- Open access
- Access the document
- https://doi.org/10.1016/j.scico.2013.11.036
- Open access
- Access the document
- j.scico.2013.11.036
- Open access
- Access the document