E. Allman and D. Been, An Exception Handler for, Proceedings USENIX '85, pp.25-45, 1985.

J. A. Marques, R. Balter, V. Cahill, P. Guedes, N. Harris et al., Implementing the Comandos architecture, Proc. 5th Annual ESPRIT Conference, pp.1140-1157, 1988.

T. Andrews and C. Harris, Combining Language and Database Advances in an Object-Oriented Development Environment, OOPSLA '87 Proceedings, special issue of SIGPLAN Noticespp, pp.430-440, 1987.

M. Ansa-reference, Architecture Projects Management Limited, 24 Hills Road, 1989.

A. Arnold, Systèmes de transitions finis et sémantique des processus communicants, Technique et Science Informatiques, pp.193-216, 1990.

R. Rousset-de-pina, G. Scioville, and . Vandôme, Architecture and Implementation of Guide, an Object-Oriented Distributed System, Computing Systems, vol.4, issue.1, pp.31-67, 1991.

G. Bernot, M. Bidoit, and C. Choppy, Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors, Theoretical Computer Science, vol.46, issue.1, pp.13-47, 1986.
DOI : 10.1016/0304-3975(86)90019-8

M. Bidoit, B. Biebow, M. C. Gaudel, C. Gresse, and G. D. Guiho, Exception Handling: Formal Specification and Systematic Program Construction, IEEE Transactions on Software Engineering, vol.11, issue.3, pp.11-242, 1985.
DOI : 10.1109/TSE.1985.232207

A. Black, N. Hutchinson, E. Jul, and H. Levy, Object structure in the Emerald system, Proc. OOPSLA, pp.78-86, 1986.
DOI : 10.1145/960112.28706

D. L. Black, D. B. Golub, K. Hauth, A. Tevanian, and R. Sanzi, The Mach Exception Handling Facility, (CMU-CS-88-129), 1988.

A. Borgida, Exceptions in object-oriented languages, ACM SIGPLAN Notices, vol.21, issue.10, pp.107-119, 1986.
DOI : 10.1145/323648.323749

H. Bromley and R. Lamson, Lisp lore: a guide to programming the Lisp machine, 1987.

R. H. Campbell and B. Randell, Error recovery in asynchronous systems, IEEE Transactions on Software Engineering, vol.12, issue.8, pp.12-811, 1986.
DOI : 10.1109/TSE.1986.6312984

R. Campbell, V. Russo, and G. Johnston, The Design of a Multiprocessor Operating System, Proceedings Usenix C++ '87, pp.109-125, 1987.

P. Coupey, Etude d'un réseau sémantique avec gestion des exceptions : interprétation logique et implantation informatique, Thèse, 1989.

F. Cristian, Le Traitement des Exceptions dans les Langages Modulaires, Thèse de Doctorat, 1979.

F. Cristian, Exception Handling and Software Fault Tolerance, IEEE Transactions on Computers, issue.6, pp.31-531, 1982.
DOI : 10.1007/978-3-642-82470-8_16

F. Cristian, Dependability of Resilient Computers (chapter 4, pp.68-97, 1989.

D. Decouchant, A. Duda, A. Freyssinet, E. Paire, M. Riveill et al., Guide: an implementation of the Commandos object-oriented architecture on Unix, Proc. EUUG Automn Conference, 1988.

D. Decouchant, P. L. Dot, M. Riveill, C. Roisin, X. Rousset et al., A synchronization mechanism for an object oriented distributed system, [1991] Proceedings. 11th International Conference on Distributed Computing Systems, 1991.
DOI : 10.1109/ICDCS.1991.148657

C. Dony, An Object-oriented Exception Handling System for an Object-oriented Language, Lecture Notes in Computer Science, pp.322-146, 1988.
DOI : 10.1007/3-540-45910-3_9

C. Dony, Langages à Objets et Génie Logiciel Application à la Gestion des Exceptions et à l'Environnement de Mise Au Point, Thèse de Doctorat, 1989.

C. Dony, Exception Handling and Object-Oriented Programming: towards a synthesis, OOPSLA '90 Proc., Sigplan Notices, pp.322-330, 1990.

M. A. Ellis and B. Stroustrup, The Annotated C++ Reference Manual, 1990.

C. Esculier, Introduction à la Tolérance Sémantique, doctorat, Joseph Fourier - Grenoble 1, 1989.

A. Freyssinet, Architecture et Réalisation d'un Système Réparti à Objets, Thèse de Doctorat, 1991.

. Goodenough, Exception handling: issues and a proposed notation, Communications of the ACM, vol.18, issue.12, pp.683-696, 1975.
DOI : 10.1145/361227.361230

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-583, 1969.
DOI : 10.1145/363235.363259

J. Hogg and S. Weiser, OTM: Applying objects to tasks, ACM SIGPLAN Notices, vol.22, issue.12, pp.388-393, 1987.
DOI : 10.1145/38807.38842

C. J. Horn and S. Krakowiak, An object-oriented architecture for distributed office systems, Proc. 4th Annual ESPRIT Conference, 1987.

J. J. Horning, H. C. Lauer, P. M. Melliar-smith, and B. Randell, A Program Structure for Error Detection and Recovery, Lecture Notes in Computer Science, pp.16-171, 1974.

J. D. Ichbiah, J. C. Heliard, O. Roubine, J. G. Roubine, B. Krieg-brueckner et al., Preliminary Ada reference manual, ACM SIGPLAN Notices, vol.14, issue.6a, 1979.
DOI : 10.1145/956650.956651

V. Issarny, Le traitement d'exceptions Aspects théoriques et pratiques, 1989.

V. Issarny, Exception Handling in Communicating Sequential Processes, Proc. joint conference on Vector and Parallel Processing, 1990.

A. Koenig and B. Stroustrup, Exception Handling for C++ (revised, Proc. USENIX C++ Conference, pp.149-176, 1990.

S. Krakowiak, M. Meysembourg, H. Nguyen, M. Van, C. Riveill et al., Design and implementation of an object-oriented, strongly typed language for distributed applications, Journal of Object-Oriented Programming, vol.3, issue.3, pp.11-22, 1990.

S. Lacourte, Exceptions in Guide, an object-oriented language for distributed applications, Proc. ECOOP '91, pp.268-287, 1991.
DOI : 10.1007/BFb0057027

L. Lamport, The ?Hoare logic? of concurrent programs, Acta Informatica, vol.6, issue.1, pp.21-37, 1980.
DOI : 10.1007/BF00289062

O. and L. Madsen, Block structure and object oriented languages, ACM SIGPLAN Notices, vol.21, issue.10, pp.133-142, 1986.
DOI : 10.1145/323648.323753

Y. Lesperance, B. M. Kramer, and P. F. Schneider, Exceptional Condition Handling in PSN, CSRG-112), pp.5-6, 1980.

J. and L. Knudsen, Better Exception-Handling in Block-Structured Systems, IEEE Software, vol.4, issue.3, pp.40-49, 1987.
DOI : 10.1109/MS.1987.230705

B. Liskov and A. Snyder, Exception Handling in CLU, IEEE Transactions on Software Engineering, SE-5, issue.6, pp.546-558, 1979.

M. D. Maclaren, Exception handling in PL/I, ACM SIGPLAN Notices, vol.12, issue.3, pp.101-104, 1977.
DOI : 10.1145/390017.808316

B. Meek, Failure is not just one value, SIGPLAN Notices, pp.80-83, 1990.
DOI : 10.1145/87416.87470

P. M. Melliar-smith and B. Randell, Software reliability, ACM SIGPLAN Notices, vol.12, issue.3, pp.95-100, 1977.
DOI : 10.1145/390017.808315

B. Meyer, Object-Oriented Software Construction, Series in Computer Science Prentice Hall International, 1988.

M. L. Meysembourg-männlein, Modèle et Langage à Objets pour la Programmation d'Applications Réparties, Thèse de doctorat, 1989.

H. and N. Van, Compilation et Environnement d'Exécution d'un Langage à base d'Objets, Thèse de Doctorat, 1991.

G. Padiou, Nested Coroutines for Exception Handling in Modula-2, Structured Programming, pp.79-83, 1990.

K. M. Pitman, Error / Condition handling. Contribution to WG16. Revision 18, Propositions pour ISO-LISP. AFNOR, ISO/IEC JTC1, 1988.

E. S. Roberts, Implementing Exceptions in C, Digital Systems Research Center, 130 Lytton Avenue, 1989.

C. Roisin and M. Santana, The observer : a tool for observing distributed applications, p.38610, 1991.

P. Rovner, Extending Modula-2 to Build Large, Integrated Systems, IEEE Software, vol.3, issue.6, pp.46-57, 1986.
DOI : 10.1109/MS.1986.229476

V. Russo, G. Johnston, and R. Campbell, Process Management and Exception Handling in Multiprocessor Operating Systems Using Object-Oriented Design Techniques, OOPSLA '88 Proceedings, special issue of Sigplan Notices, pp.248-258, 1988.

C. Schaffert, T. Cooper, and C. Wilpolt, Trellis Object-Based Environment, Language Reference Manual, Digital Equipment Corporation, 1985.

R. Seliger, Extending C++ to Support Remote Procedure Call, Concurrency, Exception Handling, and Garbage Collection, Proc. Usenix C++ '90, pp.241-264, 1990.

A. V. Shah, J. E. Rumbaugh, J. H. Hamel, and R. A. Borsari, DSM: An Object-Relationship Modeling Language, OOPSLA '89 Proceedings, special issue of SIGPLAN Noticespp, pp.191-202, 1989.

C. Stirling, A Generalization of Owicki-Gries's Hoare Logic for a Concurrent While Language '', Theoretical Computer Science, pp.58-347, 1988.

R. E. Strom and S. Yemini, Typestate: A programming language concept for enhancing software reliability, IEEE Transactions on Software Engineering, vol.12, issue.1, pp.157-171, 1986.
DOI : 10.1109/TSE.1986.6312929

A. Szalas and D. Szczepanska, Exception handling in parallel computations, ACM SIGPLAN Notices, vol.20, issue.10, pp.95-104, 1985.
DOI : 10.1145/382286.382385

M. D. Tiemann, An Exception Handling Implementation for C++, Proc. USENIX C++ Conference, pp.215-232, 1990.

I. Van-horebeek, J. Lewi, E. Bevers, L. Duponcheel, and W. Van-puymbroeck, An Exception Handling Method for Constructive Algebraic Specifications'', Software practice and experience, pp.443-458, 1988.

H. K. Wong, Design and Verification of Interactive Information Systems Using TAXIS, CSRG-129), 1981.

L. Wong and B. C. Ooi, Treating failure as value, SIGPLAN Notices, pp.29-32, 1990.
DOI : 10.1145/74105.74109

L. Wong and B. C. Ooi, Treating failure as state, SIGPLAN Notices, pp.24-26, 1990.
DOI : 10.1145/87416.87425

S. Yemini and D. M. Berry, A modular verifiable exception handling mechanism, ACM Transactions on Programming Languages and Systems, vol.7, issue.2, pp.214-243, 1985.
DOI : 10.1145/3318.3320

S. Yemini and D. M. Berry, An axiomatic treatment of exception handling in an expression-oriented language, ACM Transactions on Programming Languages and Systems, vol.9, issue.3, pp.390-407, 1987.
DOI : 10.1145/24039.24052

A. Yonezawa, J. P. Briot, and E. Shibayama, Object-Oriented Concurrent Programming in ABCL/1, Proceedings OOPSLA '86 special issue of SIGPLAN Notices, pp.258-268, 1986.
URL : https://hal.archives-ouvertes.fr/hal-01221585