Exception handling sequential processes : design, verification and implementation

Jean-Pierre Banâtre 1 Valérie Issarny 1
1 LSP - Langages et Systèmes Parallèles
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : The design of an exception handling mechanism for communicating sequential processes is presented. It is primarily concerned with correctness of parallel programs using the mechanism. The proposed mechanism relies on only two basic additions to the notions already needed to cope with sequential program exceptions. To demonstrate that the exception handling mechanism serves the design of correct rubust parallel programs, a sound and relatively complete proof system is introduced for the enriched host programming language. Furthermore, the adequacy of the exception handling mechanism with the underlying programming model is shown. The programming language integrating the mechanism may be rewritten in terms of commands of the embedding language. Finally, comparison with related work is described.
Type de document :
Rapport
[Research Report] RR-1710, INRIA. 1992
Liste complète des métadonnées

https://hal.inria.fr/inria-00076947
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 29 mai 2006 - 11:39:49
Dernière modification le : mercredi 16 mai 2018 - 11:23:14
Document(s) archivé(s) le : vendredi 13 mai 2011 - 20:54:30

Fichiers

Identifiants

  • HAL Id : inria-00076947, version 1

Citation

Jean-Pierre Banâtre, Valérie Issarny. Exception handling sequential processes : design, verification and implementation. [Research Report] RR-1710, INRIA. 1992. 〈inria-00076947〉

Partager

Métriques

Consultations de la notice

142

Téléchargements de fichiers

42