Abstract FR:

L'expression du traitement des exceptions dans les programmes permet d'ecrire des programmes, dits robustes, qui exhibent un comportement satisfaisant meme dans les cas ne survenant que tres rarement. Nos travaux ont consiste a definir un modele de traitement d'exceptions pour les programmes imperatifs paralleles et a etudier l'expression de ce modele dans des langages paralleles. Dans la premiere partie de ce memoire, nous procedons a un tour d'horizon du traitement d'exceptions dans le cadre sequentiel. La definition de notre modele de traitement d'exceptions fait l'objet de la deuxieme partie. L'originalite de notre approche reside dans le fait que nous proposons un modele de traitement d'exceptions, base pour la definition de mecanismes, au lieu de simplement examiner l'expression de ce traitement dans un langage specifique. Nous illustrons l'utilisation de notre modele en integrant un mecanisme l'exprimant dans deux langages paralleles. Ces deux langages sont respectivement le langage csp et un langage integrant la notion de multiprocedure, mecanisme d'abstraction de calculs paralleles. Au cours de ces etudes, nous proposons un systeme de verification fonde sur la logique de hoare. Ceci constitue une autre originalite de notre travail puisque la preuve de correction de programmes paralleles en presence d'exceptions n'a que tres rarement ete abordee dans la litterature. Dans la troisieme partie, nous etudions l'expression du traitement des exceptions dans le langage parallele a objets arche, concu dans le cadre du projet inria/bull gothic developpe a l'irisa. Ce travail qui se veut plus pragmatique nous permet de prendre en compte des caracteristiques absentes dans les langages examines au cours de la deuxieme partie