Le traitement d'exceptions. Aspects théoriques et pratiques - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1989

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

Valérie Issarny
  • Fonction : Auteur
  • PersonId : 833417

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-1118.pdf (3.41 Mo) Télécharger le fichier

Dates et versions

inria-00075441 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00075441 , version 1

Citer

Valérie Issarny. Le traitement d'exceptions. Aspects théoriques et pratiques. [Rapport de recherche] RR-1118, INRIA. 1989. ⟨inria-00075441⟩
84 Consultations
48 Téléchargements

Partager

Gmail Facebook X LinkedIn More