Typage d'un système de modules paramétriques avec partage : une application de l'unification dans les théories équationnelles

par Maria Virginia Aponte

Thèse de doctorat en Informatique fondamentale

Sous la direction de Guy Cousineau.

Soutenue en 1992

à Paris 7 .

    mots clés mots clés


  • Résumé

    Modl est un langage pour la decomposition modulaire de programmes, independant de tout langage de base et explicitement type. Il possede des modules parametriques, une notion d'inclusion de sous-modules et la possibilite de contraindre des sous-modules a etre partages. Modl est inspire du langage de modules de sml, qui est un langage fonctionnel de la famille ml. Nous donnons une methode conceptuellement simple, efficace et precise pour typer modl. Elle est simple car le codage des notions d'inclusion et de partage repose entierement sur les theories bien connues d'unification et de polymorphisme. Elle est efficace car les verifications de coherence deviennent entierement locales et ne dependent que de l'unifiabilite des termes, ce qui permet d'ecarter plus rapidement des types incorrects. Elle est enfin tres precise car elle permet d'extraire a partir des regles un algorithme de typage complet


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : Bibliogr. (44 réf.)

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1992
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : THESE 00225
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.