Synthese de types en presence de sous-typage : de la theorie a la pratique

par François Pottier

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel Mauny.

Soutenue en 1998

à Paris 7 .

    mots clés mots clés


  • Résumé

    Ce travail traite de l'inference de types pour un langage dote de polymorphisme parametrique et de sous-typage, en s'attachant particulierement a la simplification des types inferes. L'algorithme d'inference est base sur la resolution de contraintes de sous-typage. Or, celles-ci sont en nombre proportionnel a la taille du programme, ce qui pose un probleme d'efficacite et de lisibilite. Il fallait donc concevoir un systeme de simplification des contraintes. De cette etude ressortent trois algorithmes de simplification, capables de reduire un jeu de contraintes sans en alterer la signification. De plus, les regles de typage ont ete reformulees de facon a faciliter le fonctionnement et l'integration de ces algorithmes. L'ensemble du systeme forme un tout homogene, clairement formalise, qui conduit directement a une implantation efficace. Le systeme obtenu est flexible, et supporte diverses extensions. Parmi les problemes non resolus, citons le typage des constructions imperatives dans le cadre de la compilation separee, ainsi que certaines inefficacites residuelles. En reponse a ces problemes, la mise au point d'un systeme de typage plus proche de celui de ml semble constituer une piste de recherche interessante.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 188 P.
  • Annexes : 52 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : D-POT
  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1998
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.