Auteur : Emmanuel Touratier
Date de soutenance : 15 décembre 1998
Titre : Etude du typage dans le système de calcul scientifique Aldor
Jury : T. Lickteig (Prés.), D. Bert (Rap.), C. Lair (Rap.), T. Berger, P. Sénéchaud, D. Duval (Dir.)
Document : Thèse (PDF)
Résumé : Notre étude portera sur le système de types du langage de calcul formel Aldor. On abordera l'aspect standard du typage d'Aldor en tant que langage fonctionnel, avec les notions de typage par déclaration ou par inférence, de constructeur de types de fonctions, etc. On verra que pour expliquer le typage de certaines expressions du langage, appelées domaines et catégories, on a besoin de l'approche du typage par les types abstraits algébriques. Ceci nous permettra de justifier d'une part l'existence de catégories pour typer les domaines et d'autre part le fait que les catégories typent d'autres catégories, par une relation de satisfaction entre types. Pour cette étude du système de types, on s'aidera du formalisme de la théorie des esquisses. L'objectif poursuivi dans ce travail est unique : déterminer une esquisse associée au langage Aldor. Elle nous permettra de définir précisément ce qu'est le type d'une expression Aldor, selon sa nature et sa présentation.
Mots - clés : Calcul formel - Aldor - typage - satisfaction de types - esquisse des catégories - catégories cartésiennes fermées - application de fonction