Abstract FR:

La these presente la conception et la realisation d'un gestionnaire memoire automatique concu comme un outil d'implementation: le systeme accepte en entree une description symbolique des types de donnees a implementer, et fournit en retour des fonctions d'allocation specialisees en un gc mixte, copiant et non-copiant a racines ambigues. Le modele memoire tres general, ainsi que le gc offrent des fonctionnalites nouvelles adaptees a l'exploitation des analyses automatiques de programmes, faisant du systeme propose, un outil de choix pour l'implementation de langages modernes de la classe de ml