Determination statique des types pour le langage set1

par CATHERINE DUBOIS BOCQUET

Thèse de doctorat en Sciences appliquées

Sous la direction de VERONIQUE DONZEAU-GOUGE.

Soutenue en 1989

à Paris, CNAM .

    mots clés mots clés


  • Résumé

    Le langage set1, formalisme fonde sur la theorie des ensembles, est souvent utilise comme outil de prototypage. En effet, il offre la possibilite de manipuler des objets complexes tels que les ensembles, les sequences et les relations (le terme utilise est map), de leur appliquer des primitives de haut niveau (les quantificateurs par exemple). D'autre part, outre une flexibilite syntaxique importante, il presente une grande flexibilite semantique: certains symboles d'operateurs denotent plus d'une operation, une meme variable peut recevoir des valeurs de differents types tout au long du programme, aucune declaration n'est obligatoire. Compte tenu de ces caracteristiques, determiner statiquement les types des objets que vont recevoir dynamiquement les variables d'un programme set1 est un probleme classique de flots de donnees, necessitant analyses avant et arriere. Dans le cadre du projet esprit sed, nous avons realise un outil d'inference des types pour set1, ecrit avec le langage typol, formalisme de specification semantique du systeme mentor. Il est compose d'un ensemble de regles d'inference qui axiomatisent la relation est bien type entre arbres de syntaxe abstraite et types. La methode que nous utilisons ne necessite qu'un seul parcours de l'arbre associe a un programme: le mecanisme de l'unification sous-jacent au langage typol assure la propagation arriere des informations. Enfin, pour faire face aux problemes poses par la surcharge des operateurs, nous generons des equations (appelees contraintes) qui ne sont resolues que lorsque l'information minimale necessaire a sa resolution est detenue de maniere sure. Le calcul des types des variables d'un programme apparait comme une interpretation abstraite de ce programme: un modele de type simple est considere mais d'autres modeles sont envisages dans cette etude. Nous montrons egalement comment notre systeme peut etre etendu pour detec

  • Titre traduit

    Static type determination for the set1 language


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 62 REF

Où se trouve cette thèse ?

  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Non disponible pour le PEB
  • Cote : Th A 112
  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Disponible pour le PEB
  • Cote : Th A 112 double
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.