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

Valérie Issarny 1
1 LSP - Langages et Systèmes Parallèles
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Résumé : Le 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.
Type de document :
Rapport
[Rapport de recherche] RR-1118, INRIA. 1989
Liste complète des métadonnées

https://hal.inria.fr/inria-00075441
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 18:13:15
Dernière modification le : vendredi 23 mars 2018 - 13:57:06
Document(s) archivé(s) le : mardi 12 avril 2011 - 18:59:51

Fichiers

Identifiants

  • HAL Id : inria-00075441, version 1

Citation

Valérie Issarny. Le traitement d'exceptions. Aspects théoriques et pratiques. [Rapport de recherche] RR-1118, INRIA. 1989. 〈inria-00075441〉

Partager

Métriques

Consultations de la notice

155

Téléchargements de fichiers

45