Exception handling sequential processes : design, verification and implementation - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 1992

Exception handling sequential processes : design, verification and implementation

Jean-Pierre Banâtre
  • Fonction : Auteur
  • PersonId : 830960
Valérie Issarny
  • Fonction : Auteur
  • PersonId : 833417

Résumé

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.

Domaines

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

Dates et versions

inria-00076947 , version 1 (29-05-2006)

Identifiants

  • HAL Id : inria-00076947 , version 1

Citer

Jean-Pierre Banâtre, Valérie Issarny. Exception handling sequential processes : design, verification and implementation. [Research Report] RR-1710, INRIA. 1992. ⟨inria-00076947⟩
87 Consultations
76 Téléchargements

Partager

More