Gestion memoire automatique pour langages de programmation de haut niveau

par VINCENT DELACOUR

Thèse de doctorat en Sciences appliquées

Sous la direction de Christian Queinnec.

Soutenue en 1991

à Paris 6 .

mots clés

Résumé

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

Titre traduit

Automatic memory management for high level programming languages

Pas de résumé disponible.