Systemes d'effet et interpretation abstraite pour l'analyse de flot de controle

par YANMEI TANG TANG

Thèse de doctorat en Sciences appliquées

Sous la direction de P. FEAUTRIER.

Soutenue en 1994

à Paris 6 .

    mots clés mots clés


  • Résumé

    L'analyse du flot de controle est une technique d'importance majeure pour la compilation efficace des langages de programmation fonctionnelle. Cette technique consiste, au moment de compiler un programme, a calculer une approximation de son graphe d'appel. Dans cette these, nous considerons deux approches theoriques pour formaliser l'analyse de flot de controle: l'inference d'effet et l'interpretation abstraite. La premiere methode que nous presentons, l'inference d'effet, peut etre definie comme une extension des techniques qui sont utilisees pour la verification du typage des programmes en ml. Ici, plutot que de nous limiter a adapter les techniques de typage a la ml pour faire de l'analyse de flot de controle, nous introduisons une notion avancee de sous-typage qui permet d'augmenter notablement la flexibilite et la precision de cette technique. La seconde methode que nous considerons est l'interpretation abstraite qui, utilisant des techniques d'approximation de point-fixe, permet notamment d'obtenir des informations plus precises. Nous proposons de combiner ces deux techniques, introduisant la notion d'analyse semantique separee. Nous proposons d'associer une analyse de programme basee sur l'interpretation abstraite, profitant ainsi d'une technique performante pour les expressions closes, avec l'utilisation d'un systeme d'effet, afin de pouvoir specifier des informations statiques en presence de compilation separee, et donc d'information partielle sur l'ensemble d'un programme. Enfin, nous etudions l'application de l'analyse de flot de controle pour choisir une strategie optimale pour l'allocation des fonctions


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 110 P.
  • Annexes : 62 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.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 1994 269
  • 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 1994
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.