Université Montpellier-II,
Formation Doctorale Informatique,

Sujet de stage M2R.

Etude d'un système de gestion des exceptions pour le langage à objets PRM

Encadrants : Morandat, Dony
Lieu : LIRMM
Prérequis : 325, 326
Parcours : CODA

Le stage consiste :

en l'étude de la spécification d'un système de gestion des exceptions pour PRM, (ce sera probablement un système classique à terminaison (caractérisé par les primitives try-catch et throw dans leur sémantique cplusplusienne ou javaïenne) classique mais qui devra prendre en compte les spécificités du langage PRM : héritage multiple et système de modules),
en l'implantation de cette spécification dans le compilateur PRM.

Si la solution apparaît simplement, il y a de nombreuses suites possible à donner à cette première réalisation. Une de ces suites pourrait être l'étude de spécialisation covariante des méthodes y compris selon le type des exceptions déclarées dans les signatures.