Représentation et transformation : un modèle de la réutilisabilité pour les langages fonctionnels à objets

par Marc Pantel

Thèse de doctorat en Informatique

Sous la direction de Patrick Sallé.

Soutenue en 1994

à Toulouse, INPT .


  • Résumé

    L'objet de cette these est la definition d'un langage fonctionnel a objets possedant de bonnes proprietes de reutilisabilite et d'expressivite. Dans ce memoire, nous proposons un nouveau modele de reutilisabilite qui repose sur les notions de representations et de transformations. La premiere partie presente une etude synthetique des modeles de type et d'effets impurs. La deuxieme partie decrit le modele a base de representations et de transformations et propose plusieurs evolutions des mecanismes usuels de la programmation par objets. La troisieme partie presente un premier langage: micro-fol. Les representations y sont definies a partir de signatures et les methodes et transformations a partir de fonctions. Nous proposons un mecanisme d'inference de type par resolution de contraintes ensemblistes qui permet d'associer des informations de type precises aux phrases du langage. Ce mecanisme exploite les differentes formes de polymorphisme associees a la programmation par objets: genericite, sous-typage et surcharge. La quatrieme partie etudie l'introduction d'effets impurs dans la programmation fonctionnelle en utilisant la structure de monade qui permet de definir une semantique uniforme des differents effets impurs. La derniere partie est consacree a la presentation du langage fol, extension syntaxique de micro-fol. Le langage ainsi obtenu constitue un support pour l'etude des proprietes d'expressivite et de reutilisabilite

  • Titre traduit

    Representations and transformations : a reusability model for functional objet-oriented languages


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 211 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 169-175

Où se trouve cette thèse ?

  • Bibliothèque : École nationale supérieure d'électrotechnique, d'électronique, d'informatique, d'hydraulique et des télécommunications. Bibliothèque.
  • Disponible pour le PEB
  • Cote : 94INPT035H/1

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : MF-1994-PAN
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.