Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00075441
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 6:13:15 PM
Last modification on : Thursday, January 7, 2021 - 4:28:45 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 6:59:51 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

177

Files downloads

65