Alcool-90. Typage de la surcharge dans un langage fonctionnel

par FRANCOIS ROUAIX

Thèse de doctorat en Sciences appliquées

Sous la direction de Guy Cousineau.

Soutenue en 1990

à Paris 7 .

    mots clés mots clés


  • Résumé

    Le developpement de gros logiciels (par exemple centaur et son composant central, le vtp-virtual tree processor-), a mis en evidence la necessite de fournir au programmeur des outils lui permettant de concevoir et d'ecrire des programmes ou composants logiciels reutilisables, donc en particulier independants des representations internes des donnees. Il est aussi important de verifier que l'execution d'un programme se deroulera sans erreurs dues a une mauvaise utilisation de donnees ou de fonctions. Nous commencerons par etudier les approches deja existantes de ces problemes, avec d'une part les techniques de programmation de haut niveau (programmation orientee-objet, types abstraits), et d'autre part les systemes de types correspondants qui assurent la securite d'execution. Nous proposons ensuite une formalisation composee d'un langage fonctionnel autorisant la surcharge resolue a l'execution et d'un systeme de types qui assure sa securite d'execution. Le typage est base sur le polymorphisme a la ml, et autorise l'inference de types. Les donnees sont caracterisees par l'ensemble des primitives qui peuvent leur etre appliquees. La surcharge des noms de ces primitives permet alors un style de programmation base sur l'abstraction et la factorisation d'algorithmes. Un prototype du langage, baptise alcool-90, a ete realise, et est utilise dans les exemples de demonstration du style de programmation


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 76 REF

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 : TS1990
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.