Recherche Avancée

Thèse soutenue

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

FR  |  
EN
Auteur / Autrice : Marc Pantel
Direction : Patrick Sallé
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1994
Etablissement(s) : Toulouse, INPT

Résumé

FR

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