Auteur : Samuel Hym (LIFL)

Titre : Borner la consommation de mémoire dynamique 

Abstract : 

De nombreux langages de programmation (tels que Java, OCaml, ou encore JavaScript) gèrent automatiquement la mémoire : le ramasse-miettes se charge s?identifier des parties de la mémoire qui peuvent être désallouées. Cette automatisation apporte des garanties de sûreté d?exécution du programme _quand il a suffisamment de mémoire_.  Nous verrons dans cet exposé quelques unes des difficultés à résoudre pour obtenir statiquement une borne de la consommation mémoire assez proche de la réalité pour être utile. Notamment nous verrons comment modulariser l?analyse et traiter les nids de boucle.