Summary-based inference of quantitative ...

Type de document :
Article dans une revue scientifique: Article original
DOI :
10.1016/j.scico.2013.11.036
Titre :
Summary-based inference of quantitative bounds of live heap objects
Auteur(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] refId
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]
Titre de la revue :
Science of Computer Programming
Pagination :
56–84
Éditeur :
Elsevier
Date de publication :
2014-10
ISSN :
0167-6423
Discipline(s) HAL :
Informatique [cs]/Langage de programmation [cs.PL]
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Harvested from HAL
Fichiers
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail