An Exception Handler for, Proceedings USENIX '85, pp.25-45, 1985. ,
Implementing the Comandos architecture, Proc. 5th Annual ESPRIT Conference, pp.1140-1157, 1988. ,
Combining Language and Database Advances in an Object-Oriented Development Environment, OOPSLA '87 Proceedings, special issue of SIGPLAN Noticespp, pp.430-440, 1987. ,
Architecture Projects Management Limited, 24 Hills Road, 1989. ,
Systèmes de transitions finis et sémantique des processus communicants, Technique et Science Informatiques, pp.193-216, 1990. ,
Architecture and Implementation of Guide, an Object-Oriented Distributed System, Computing Systems, vol.4, issue.1, pp.31-67, 1991. ,
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
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
Object structure in the Emerald system, Proc. OOPSLA, pp.78-86, 1986. ,
DOI : 10.1145/960112.28706
The Mach Exception Handling Facility, (CMU-CS-88-129), 1988. ,
Exceptions in object-oriented languages, ACM SIGPLAN Notices, vol.21, issue.10, pp.107-119, 1986. ,
DOI : 10.1145/323648.323749
Lisp lore: a guide to programming the Lisp machine, 1987. ,
Error recovery in asynchronous systems, IEEE Transactions on Software Engineering, vol.12, issue.8, pp.12-811, 1986. ,
DOI : 10.1109/TSE.1986.6312984
The Design of a Multiprocessor Operating System, Proceedings Usenix C++ '87, pp.109-125, 1987. ,
Etude d'un réseau sémantique avec gestion des exceptions : interprétation logique et implantation informatique, Thèse, 1989. ,
Le Traitement des Exceptions dans les Langages Modulaires, Thèse de Doctorat, 1979. ,
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
Dependability of Resilient Computers (chapter 4, pp.68-97, 1989. ,
Guide: an implementation of the Commandos object-oriented architecture on Unix, Proc. EUUG Automn Conference, 1988. ,
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
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
Langages à Objets et Génie Logiciel Application à la Gestion des Exceptions et à l'Environnement de Mise Au Point, Thèse de Doctorat, 1989. ,
Exception Handling and Object-Oriented Programming: towards a synthesis, OOPSLA '90 Proc., Sigplan Notices, pp.322-330, 1990. ,
The Annotated C++ Reference Manual, 1990. ,
Introduction à la Tolérance Sémantique, doctorat, Joseph Fourier - Grenoble 1, 1989. ,
Architecture et Réalisation d'un Système Réparti à Objets, Thèse de Doctorat, 1991. ,
Exception handling: issues and a proposed notation, Communications of the ACM, vol.18, issue.12, pp.683-696, 1975. ,
DOI : 10.1145/361227.361230
An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-583, 1969. ,
DOI : 10.1145/363235.363259
OTM: Applying objects to tasks, ACM SIGPLAN Notices, vol.22, issue.12, pp.388-393, 1987. ,
DOI : 10.1145/38807.38842
An object-oriented architecture for distributed office systems, Proc. 4th Annual ESPRIT Conference, 1987. ,
A Program Structure for Error Detection and Recovery, Lecture Notes in Computer Science, pp.16-171, 1974. ,
Preliminary Ada reference manual, ACM SIGPLAN Notices, vol.14, issue.6a, 1979. ,
DOI : 10.1145/956650.956651
Le traitement d'exceptions Aspects théoriques et pratiques, 1989. ,
Exception Handling in Communicating Sequential Processes, Proc. joint conference on Vector and Parallel Processing, 1990. ,
Exception Handling for C++ (revised, Proc. USENIX C++ Conference, pp.149-176, 1990. ,
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. ,
Exceptions in Guide, an object-oriented language for distributed applications, Proc. ECOOP '91, pp.268-287, 1991. ,
DOI : 10.1007/BFb0057027
The ?Hoare logic? of concurrent programs, Acta Informatica, vol.6, issue.1, pp.21-37, 1980. ,
DOI : 10.1007/BF00289062
Block structure and object oriented languages, ACM SIGPLAN Notices, vol.21, issue.10, pp.133-142, 1986. ,
DOI : 10.1145/323648.323753
Exceptional Condition Handling in PSN, CSRG-112), pp.5-6, 1980. ,
Better Exception-Handling in Block-Structured Systems, IEEE Software, vol.4, issue.3, pp.40-49, 1987. ,
DOI : 10.1109/MS.1987.230705
Exception Handling in CLU, IEEE Transactions on Software Engineering, SE-5, issue.6, pp.546-558, 1979. ,
Exception handling in PL/I, ACM SIGPLAN Notices, vol.12, issue.3, pp.101-104, 1977. ,
DOI : 10.1145/390017.808316
Failure is not just one value, SIGPLAN Notices, pp.80-83, 1990. ,
DOI : 10.1145/87416.87470
Software reliability, ACM SIGPLAN Notices, vol.12, issue.3, pp.95-100, 1977. ,
DOI : 10.1145/390017.808315
Object-Oriented Software Construction, Series in Computer Science Prentice Hall International, 1988. ,
Modèle et Langage à Objets pour la Programmation d'Applications Réparties, Thèse de doctorat, 1989. ,
Compilation et Environnement d'Exécution d'un Langage à base d'Objets, Thèse de Doctorat, 1991. ,
Nested Coroutines for Exception Handling in Modula-2, Structured Programming, pp.79-83, 1990. ,
Error / Condition handling. Contribution to WG16. Revision 18, Propositions pour ISO-LISP. AFNOR, ISO/IEC JTC1, 1988. ,
Implementing Exceptions in C, Digital Systems Research Center, 130 Lytton Avenue, 1989. ,
The observer : a tool for observing distributed applications, p.38610, 1991. ,
Extending Modula-2 to Build Large, Integrated Systems, IEEE Software, vol.3, issue.6, pp.46-57, 1986. ,
DOI : 10.1109/MS.1986.229476
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. ,
Trellis Object-Based Environment, Language Reference Manual, Digital Equipment Corporation, 1985. ,
Extending C++ to Support Remote Procedure Call, Concurrency, Exception Handling, and Garbage Collection, Proc. Usenix C++ '90, pp.241-264, 1990. ,
DSM: An Object-Relationship Modeling Language, OOPSLA '89 Proceedings, special issue of SIGPLAN Noticespp, pp.191-202, 1989. ,
A Generalization of Owicki-Gries's Hoare Logic for a Concurrent While Language '', Theoretical Computer Science, pp.58-347, 1988. ,
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
Exception handling in parallel computations, ACM SIGPLAN Notices, vol.20, issue.10, pp.95-104, 1985. ,
DOI : 10.1145/382286.382385
An Exception Handling Implementation for C++, Proc. USENIX C++ Conference, pp.215-232, 1990. ,
An Exception Handling Method for Constructive Algebraic Specifications'', Software practice and experience, pp.443-458, 1988. ,
Design and Verification of Interactive Information Systems Using TAXIS, CSRG-129), 1981. ,
Treating failure as value, SIGPLAN Notices, pp.29-32, 1990. ,
DOI : 10.1145/74105.74109
Treating failure as state, SIGPLAN Notices, pp.24-26, 1990. ,
DOI : 10.1145/87416.87425
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
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
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