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 : jeudi 11 janvier 2018 - 06:21:20
Document(s) archivé(s) le : vendredi 13 mai 2011 - 20:54:30

Fichiers

Identifiants

  • HAL Id : inria-00076947, version 1

Collections

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

118

Téléchargements de fichiers

38