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 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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 122 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1991 90
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1991
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.