Exception handling sequential processes : design, verification and implementation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1992

Exception handling sequential processes : design, verification and implementation

Jean-Pierre Banâtre
  • Function : Author
  • PersonId : 830960
Valérie Issarny
  • Function : Author
  • PersonId : 833417

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.

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00076947 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More