Une approche contrôlée du traitement d'exceptions en programmation fonctionnelle
Auteur / Autrice : | Catherine Lucquiaud-Pilière |
Direction : | Philippe de Groote |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2001 |
Etablissement(s) : | Nancy 1 |
Partenaire(s) de recherche : | autre partenaire : Université de Nancy I. Faculté des sciences |
Résumé
A partir de l'analyse du processus par lequel des exceptions en ML peuvent échapper à leur champ de déclaration, Philippe de Groote a proposé lors de TLCA'95 un lambda-calcul simplement typé de traitement d'exceptions statique assurant qu'un terme correctement typé ne pouvait donner lieu à une exception non capturée. Le principe permettant d'aboutir à un tel résultat consiste à garantir que chaque gestionnaire d'exception reste accessible pendant toute la durée d'exécution du programme. Nous nous proposons d'étudier ce concept dans un cadre de programmation réaliste autorisant la récursion générale par l'ajout au calcul d'un opérateur de point fixe. Le calcul ainsi obtenu est présenté sous trois formes sémantiques:respectivement un système de règles de réduction, une sémantique opérationnelle et un modèle dénotationnel basé sur la notion de transformation par continuations. En établissant que ces trois interprétations sont équivalentes sur une classe particulière de termes (les programmes), nous montrons en quoi l'approche statique du traitement d'exceptions peut être considérée dans certains cas comme une alternative raisonnable au traitement classique.