Exceptions dans les langages à objets

Exceptions in object-oriented languages

• Auteur / Autrice : Serge Lacourte
• Direction : Sacha Krakowiak
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1991
• Etablissement(s) : Université Joseph Fourier (Grenoble ; 1971-2015)

Mots clés

Mots clés libres

Sciences appliquees

Informatique

Automatique theorique

Systemes

Exception

Langage a objets

Coherence

Concurrence

Deroutement

Modularite

Résumé

Dans les langages de programmation une exception apparait comme consequence des limites qu'une mise en uvre introduit par rapport a un modele ideal. Les structures de controle traditionnelles ne conviennent pas pour traiter ces cas limites, et sont secondees dans certains langages par un systeme specifique de gestion des exceptions qui separe le traitement des exceptions de l'algorithme principal. Nous analysons dans le contexte plus precis des langages a objets la forme que doit prendre un tel systeme et les contraintes qu'il doit satisfaire. Nous regardons en particulier les implications de la modularite, de l'heritage et de la conformite. Nous proposons ensuite un systeme de gestion des exceptions pour le langage guide, langage a objets concu pour la construction d'applications reparties. Nous proposons des solutions aux problemes de la coherence des objets et de la concurrence. Ce travail a donne lieu a une mise en uvre sur le systeme guide