Le traitement d'exceptions. Aspects théoriques et pratiques

Dans le cadre du projet GothicLe propos de cette étude bibliographique est d'analyser les mécanismes de traitement d'exceptions dans les langages de programmation impératifs. Dans un premier temps, nous constatons qu'un mécanisme de traitement d'exceptions est nécessaire dans un langage impératif si l'on veut pouvoir écrire des applications réalistes structurées. Ceci étant, il ressort que la définition sémantique d'un mécanisme est primordiale. Nous proposons tout d'abord la définition dénotationnelle avec continuation de mécanismes simples. Ensuite, nous nous attardons sur la sémantique axiomatique de quelques mécanismes mais en nous préoccupant plus particulièrement de l'aspect preuve de programmes. Après avoir étudié les mécanismes de traitement d'exceptions dans les langages de programmation, nous nous intéressons aux traitements des exceptions dans les données. Les types abstraits algébriques permettent de caractériser de tels types de données. Enfin, nous abordons le traitement d'exceptions dans le cadre de la programmation parallèle